迪尔沃思定理

Dilworth's theorem

theorem that the maximum size of an antichain in a finite partial order equals the minimum number of chains into which it can be partitioned

在数学中，在序理论和组合学领域，狄尔沃斯定理通过将集合划分为数目最少的链来量化地描述任何有限偏序集的宽度。它以数学家罗伯特狄尔沃斯（1950）命名。