{Chính xác một trong một  b, b  một và một» b quan hệ tổ chức cho bất kỳ hai a; b 2 tại;
{mối quan hệ trung tính» là một mối quan hệ tương đương, gây ra một phân vùng tại =» của tại;
{mối quan hệ Â
0
trên phân vùng tại =», được xác định bởi [a]» Â
0
[b]» () Â một b, là
một thứ tự tuyến tính, nơi [a]» tương đương lớp có chứa một.
đang được dịch, vui lòng đợi..
