Fundamental Theorem of Equivalence Relations