偏序

一个关系 "" 在集合 集合 上是偏序，如果它具有

1. 自反性: 对于所有 。

2. 反对称性: 且 蕴含 。

3. 传递性: 且 蕴含 。

对于偏序，最长链（反链）的大小称为偏序长度（偏序宽度）。偏序集也称为 poset。

可以使用以下方法找到偏序中最大的不相关顶点集MaximumAntichain[g] 在 Wolfram 语言包中Combinatorica` . MinimumChainPartition[g] 在 Wolfram 语言包中Combinatorica`将偏序划分为最少数量的链。