狄尔沃斯定理（Dilworth'stheorem）该定理表述为：在一个有限的偏序集 P 中，最大抗链的大小等于最小覆盖的大小。换句话说，若 P 是一个有限的偏序集，且 α 是 P 中的一个最大抗链（即其中任意两个元素不可比较），而 β是 P 的一个最小覆盖（即覆盖所有元素的最小链），则有：∣α∣=∣β