偏序

一個關係 "" 在集合 集合 上是偏序，如果它具有

1. 自反性: 對於所有 。

2. 反對稱性: 且 蘊含 。

3. 傳遞性: 且 蘊含 。

對於偏序，最長鏈（反鏈）的大小稱為偏序長度（偏序寬度）。偏序集也稱為 poset。

可以使用以下方法找到偏序中最大的不相關頂點集MaximumAntichain[g] 在 Wolfram 語言包中Combinatorica` . MinimumChainPartition[g] 在 Wolfram 語言包中Combinatorica`將偏序劃分為最少數量的鏈。