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

用形式化语言表述就是：

设${\displaystyle (A,⩾<!--\; ⩾\; -->)}$中链的最大长度为，则中存在一个由个反链组成的划分。