Отношение эквивалентности - определение

Отношение эквивалентности - это бинарное отношение, которое:

1. симметрично
2. транзитивно
3. рефлексивно

Отношение эквивалентности разбивает любое множество на непересекающиеся классы, то есть - если элемент принадлежит одному классу, то он не может принадлежать другому классу.