Определение

Класс эквивалентности - подмножество $\bar{x}$, которое содержит $x$, и в котором все элементы $\bar x=\{x \in X | x' \sim x\}$ эквивалентны данному $x$.