在序理论中,设是一个偏序集,为的一个子集,若中任意两个元素无法相互比较(comparable),则称B是一条反链(Antichain)。为了方便,通常还规定偏序集中的所有单元素子集既是链也是反链。
用形式化语言表述就是:
设中链的最大长度为,则中存在一个由个反链组成的划分。
在序理论中,设是一个偏序集,为的一个子集,若中任意两个元素无法相互比较(comparable),则称B是一条反链(Antichain)。为了方便,通常还规定偏序集中的所有单元素子集既是链也是反链。
用形式化语言表述就是:
设中链的最大长度为,则中存在一个由个反链组成的划分。