The poset P is bounded if it has a unique minimal element and a unique maximal element.
The n chain and n booleanLattice are bounded.
i1 : n = 5; |
i2 : isBounded chain n o2 = true |
i3 : B = booleanLattice n; |
i4 : isBounded B o4 = true |
The middle ranks of an n boolean lattice are not bounded.
i5 : isBounded flagPoset(B, {1,2,3,4}) o5 = false |