Category:Fundamental Theorem on Equivalence Relations