Equivalence and Ordering