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.