Dilworth定理
对于一个偏序集，其最少链划分数等于最长反链的元素个数。
补充：Dilworth定理的对偶定理：对于一个偏序集，其最少反链划分数等于最长链的元素个数。
偏序
-
自反性：(forall ain A,ale a)
-
反对称性：(forall a.bin A,)若(ale b,ble a,)则(a=b)
-
传递性：(forall a,b,cin A,)若(ale b,ble c,)则(ale c)
-
不可比：定义集合(A)的一个二元关系，对于((a_1,b_1),(a_2,b_2))两个元素，
((a_1,b_1)le(a_2,b_2))当且仅当(a_1le a_2)且(b_1le b_2)，
若有(a_1> a_2)且(b_1le b_2)，则两元素不可比
链（全序集）
设(le)为非空集合(A)上的一个偏序关系，若偏序集((B,le))中的元素两两可比，则((B,le))为链。
反链
若偏序集((B,le))中的元素两两不可比，则((B,le))为反链。