Classes partition the set
The equivalence class of is , the set of all with .
The classes of an equivalence relation are disjoint, and together they cover the whole set. A set with such a decomposition is partitioned.
The equivalence class of is , the set of all with .
The classes of an equivalence relation are disjoint, and together they cover the whole set. A set with such a decomposition is partitioned.