链-反链-Dilworth定理

偏序集：We define a Partially Ordered Set, or a Poset, as a set P with a partial ordering defined on it’s elements. I.e, for any two elements x and y of P, either x ≤ y, y ≤ x (x and y are comparable), or x || y (x and y are incomparable).

链（chain）是一个偏序集S的全序子集（所谓全序是指任意两个元素可比较）

反链（antichain）是一个偏序集S的子集，其中任意两个元素不可比较

极大（maximal）链:对一个链C，如果找不到另一个链C'，使得C是C'的真子集，那么称链C是极大的

极大（maximal）反链：对一个反链A，如果找不到另一个反链A'，使得A是A'的真子集，那么称反链A是极大的

最大链（maximum/longest）：链C包含元素个数不少于任意其他链C'，则C是最大链

最大反链（maximum/largest）：类似最大链定义

（易见，最大链必然是极大链，最大反链必然是极大反链，可以用反证法）

偏序集S的最大链的大小称为偏序集S的高度（height）

偏序集S的最大反链的大小称为偏序集S的宽度（width）

P