Fundamental Theorem on Equivalence Relations/Examples