反鏈

在序理論中 ， 設A是一個偏序集 ， B爲A的一個子集 ， 若B中任意兩個元素無法相互比較 （ comparable ） ， 則稱B是一條反鏈 （ Antichain ） 。 爲了方便 ， 通常還規定偏序集中的所有單元素子集既是鏈也是反鏈 。 用形式化語言表述就是 ： 設是一個偏序集 ， 是的子集 ， 則B是A上的反鏈等價於