Equivalence Class
# Definition
Let be a Set and let be an Equivalence Relation on . If is the Partition of corresponding to (as per Correspondence of Surjective Functions, Partitions, and Equivalence Relations), then we call the elements the Equivalence Classes of .