Определение 8. Отношение
Обычно отношение эквивалентности обозначают знаком
Легко доказывается, что если на множестве
Пример 1. Рассмотрим на множестве вещественных чисел
Условия 1-3, очевидно, выполняются, поэтому данное отношение является отношением эквивалентности. Каждый класс эквивалентности этого отношения состоит из одного числа.
Пример 2. Рассмотрим более сложное отношение эквивалентности. На множестве целых чисел
Условия 1-3 легко проверяются, поэтому равенство по модулю является отношением эквивалентности. Предикат этого отношения имеет вид:
Классы эквивалентности этого отношения состоят из чисел, дающих при делении на n одинаковые остатки. Таких классов ровно n:
[0] = {0, n, 2n, …} [1] = {1, n+1, 2n+1, …} … [n-1] = {n-1, n+n-1, 2n+n-1, …}