A = A
A = B  <=>  B = A
A < B  <=>  B > A
A <= B  <=>  B >= A
(A < B) & (B < C)  =>  A < C
(A <= B) & (B <= C)  =>  A <= C