The Dilworth lattice of $P$ is the lattice of maximum length (the dilworthNumber) antichains in $P$. Two such antichains have $A \leq B$ if and only if every member of $A$ is less than or equal (in $P$) to some member of $B$.


The object dilworthLattice is a method function.