i = isBounded P
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.
|
|
|
|
The middle ranks of an $n$ boolean lattice are not bounded.
|
The object isBounded is a method function.