-- -*- M2-comint -*- hash: 16362476793470521629

i1 : P = booleanLattice 3;

i2 : Q = naturalLabeling P

o2 = Q

o2 : Poset

i3 : all(allRelations Q, r -> r_0 <= r_1)

o3 = true

i4 : C = chain 3;

i5 : Q' = sum(3, i -> naturalLabeling(C, 3*i))

o5 = Q'

o5 : Poset

i6 : all(allRelations Q', r -> r_0 <= r_1)

o6 = true

i7 : 
