KnowraDilworth's theoremLinked fromLinked fromThe 4 pages that link to Dilworth's theorem, each with the reason it gives.All 4Related 3Compared with 1AntichainRelated: It turns the largest antichain size into a chain-covering number.Chain (order theory)Related: It turns chain decompositions into an exact statement about antichains.Erdős–Szekeres theorem (monotone subsequences)Related: Both results turn restrictions on chains into guarantees about ordered subsequences or decompositions.Sperner's theoremCompared with: It characterizes antichain width through chain partitions rather than giving a Boolean-lattice rank bound.