Help for this page
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
The comparison function is required to behave. If it retur +ns inconsistent results (sometimes saying $x[1] is less than +$x[2] and sometimes saying the opposite, for example) the result +s are not well-defined.