The distributive lattice of a poset $P$ is the poset of all order ideals of $P$ ordered by inclusion.
|
|
The distributive lattice of a chain poset of length $n$ is the chain poset of length $n+1$.
|
The object distributiveLattice is a method function.