反链

关于与“反链”标题相近或相同的条目，请见“反向链接”。

在序理论中，设A是一个偏序集，B为A的一个子集，若B中任意两个元素无法相互比较（comparable），则称B是一条反链（Antichain）。为了方便，通常还规定偏序集中的所有单元素子集既是链也是反链。

用形式化语言表述就是：

设${\displaystyle (A,\geqslant )}$是一个偏序集，${\displaystyle B}$是${\displaystyle A}$的子集，则B是A上的反链等价于

${\displaystyle \forall x\forall y\left((x\in B\wedge y\in B)\rightarrow \neg \left(x\geqslant y\vee y\geqslant x\right)\right)}$