反链 在序理論中设A是一个偏序集B为A的一个子集若B中任意两个元素无法相互比較comparable则称B是一条反链Antichain为了方便通常还规定偏序集中的所有单元素子集既是链也是反链 用形式化语言表述就是 设  A    displaystyle Ageqslant  是一个偏序集 B displaystyle B 是 A displaystyle A 的子集则B是A上的反链等价于  x  y   x  B  y  B     x  y  y  x   displaystyle forall xforall yleftxin Bwedge yin Brightarrow neg leftxgeqslant yvee ygeqslant xrightright