The boolean lattice on $n$ elements is the poset of binary strings of length $n$ with order given by componentwise ordering.
|
|
It can also be seen as the poset of subsets of a set of $n$ elements with order given by containment.
|
It is also the $n$-fold product of the chain of length $2$.
|
Further, it is the divisorPoset of the product of $n$ distinct primes.
|
The object booleanLattice is a method function.