迪尔沃斯引理

集合 的 偏序宽度 等于覆盖 所需的最小 链 数。等价地，如果一个包含 的 个元素的集合是 偏序的，那么 包含一个大小为 的 链 或一个大小为 的 反链。令 为 的 基数， 为 偏序宽度， 为 偏序长度，则最后这个陈述表示 。迪尔沃斯引理是 Erdős-Szekeres 定理 的推广。Ramsey 定理 推广了迪尔沃斯引理。