Equivalence Relations and Partial Orders