Equivalence Class

up:: Equivalence Relation

Given an Equivalence Relation over a set , an equivalence class is the set of all points equivalent to each other (under ). We usually denote all equivalence classes by , choosing some inside it to represent it.

Note that All different equivalence classes are disjoint, since having a single point in common would make them both equivalent.