... hoạch xích đối xứng trên các poset và các ứng dụng của nó. Vì trong các dạng poset, ta thường quan tâm đến các poset có hạng và hữu hạn nên ở luận văn này ta chỉ chú ý đến các poset dạng đó, ... cực đại các phần tử của một phản xích trên poset các tập con của tập n-phần tử thì định lý này đã được các nhà toán học khác chứng minh lại, tổng quát hóa và mở rộng đến lý thuyết về các poset. ... P Q . Vậy các jE , 0,1, ,jh , là các xích đối xứng trong poset tích trực tiếp PQ. Bằng cách xét từng cặp xích đối xứng iC và jD ( 1, , ; 1, ,imjn ) như trên ta sẽ có được...