Help for this page

Select Code to Download


  1. or download this
    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
    
  2. or download this
                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.