Dilworth 1950: in any finite poset, the maximum antichain size equals minimum number of chains in chain-decomposition; LP-duality dual to Mirsky theorem.
Dilworth 1950: in any finite poset, the maximum antichain size equals minimum number of chains in chain-decomposition; LP-duality dual to Mirsky theorem.