在序理论中，设"A"是一个偏序集，"B"为"A"的一个子集，若"B"中任意两个元素无法相互比较（comparable），则称B是一条反链（Antichain）。为了方便，通常还规定偏序集中的所有单元素子集既是链也是反链。用形式化语言表述就是：设formula_1是一个偏序集，formula_2是formula_3的子集，则B是A上的反链等价于
相关结论.直观地说，一条反链实际上确定了一个偏序集上互相无法比较的若干条链。容易看出，全序集上反链的最大长度是1。运用链和反链的概念