{ Exactly one of a  b, b  a and a

{ Exactly one of a  b, b  a and a » b relations holds for any two a; b 2 At;
{ The indifference relation » is an equivalence relation, which induces a partition At=» of At;
{ The relation Â
0
on the partition At=», defined by [a]» Â
0
[b]» () a  b, is
a linear order, where [a]» is the equivalence class containing a.

Kết quả (Việt) 1:

{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.

Kết quả (Việt) 2:

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