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