i = isUpperSemilattice P
The poset $P$ is an upper semilattice if every pair of vertices has a unique least upper bound (join).
Clearly, the $n$ chain and the $n$ booleanLattice are upper semilattices.
|
|
|
|
The middle ranks of the $n$ booleanLattice are not upper semilattices.
|
However, the upper ranks of the $n$ booleanLattice are non-lattice upper semilattices.
|
|
|
The object isUpperSemilattice is a method function.