##### 链 - 链 - **链**指[[偏序关系|偏序集]]中具有[[全序关系]]的[[子集]], 即在这个子集中任取两个元素总是可以比较大小. 相反的如果任意两个元素都是不可比的则称为反链. 设 $(P, \leq)$ 是一个偏序集, 一个子集 $C \subseteq P$ 称为链, 如果对任意 $a, b \in C$, 都有 $a \leq b$ 或 $b \leq a$, 也就是说, $C$ 在偏序关系 $\leq$ 下是全序的