up:: Equivalence Class Let be an Equivalence Relation. Let two equivalence classes, and suppose that there is some point in common to both. Then and . But, by definition, . Thus, all elements of are equivalent to , and thus .