Category:Equivalence Classes are Disjoint