Фрагмент из книги.
Другой пример - составление каталога по алфавиту. Множество всех книг в библиотеке X разбивается на конечное число классов — количество букв алфавита Y. Книги, начинающиеся с одной и той же буквы, принадлежат одному классу, и между любой парой таких книг существует отношение эквивалентности.
В то же время составляя каталог по алфавиту, мы осуществляем сюръективное отображение множества всех книг в библиотеке X на множество букв алфавита Y.
Отношение эквивалентности - рефлексивно, симметрично и транзитивно. Эти свойства являются необходимыми и достаточными условиями разбиения множества на классы.
Отношение А на множестве М называется толерантностью, если оно рефлексивно и симметрично.
Так, отношение «быть знакомым» соответствует определению толерантности.
Отношение А на множестве X называется отношением порядка, если оно транзитивно и антирефлексивно.
Отношение порядка характеризует соотношение объектов друг к другу по старшинству, по важности, оно не является симметричным. Отношение х<у на множестве действительных чисел - есть пример отношения порядка.
