Пусть $\sim$ — отношение эквивалентности на $M$, $a \in M$. Множество ${N_a=\{x\in M: a \sim x \}}$ называется классом эквивалентности элемента $a$.