迪爾沃斯引理

集合 的 偏序寬度 等於覆蓋 所需的最小 鏈 數。等價地，如果一個包含 的 個元素的集合是 偏序的，那麼 包含一個大小為 的 鏈 或一個大小為 的 反鏈。令 為 的 基數， 為 偏序寬度， 為 偏序長度，則最後這個陳述表示 。迪爾沃斯引理是 Erdős-Szekeres 定理 的推廣。Ramsey 定理 推廣了迪爾沃斯引理。