Объяснение
Множество не содержит повторений. Отношение задаёт пары элементов; функция сопоставляет каждому входу ровно один выход. Эквивалентность требует рефлексивности, симметричности и транзитивности.
Задача для самостоятельного решения
Является ли отношение «одинаковый остаток по модулю 3» эквивалентностью?
Показать разбор ответа
Да: число имеет собственный остаток; равенство остатков симметрично и транзитивно. Классы: остатки 0, 1, 2; числа 2 и 8 принадлежат одному классу.