Exit
Lesson 046 · Step 1 of 5Streak 00

Classes partition the set

The equivalence class of aa is [a][a], the set of all bb with a∼ba \sim b.

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