D, an object of class Poset, the Dilworth lattice of P
Description
The Dilworth lattice of P is the lattice of maximum length (the dilworthNumber) antichains in P. Two such antichains have A ≤B if and only if every member of A is less than or equal (in P) to some member of B.