Операции и отношения

Бинарное (т. е. двухместное) отношение на множестве M это подмножество декартова квадрата

M M ={(x, y) xM, yM}

множества M.
Если два элемента x, y находятся в бинарном отношении T, то вместо записи (x, y) T

обычно пишут: xTy.
Наглядно отношение можно представить в виде графа или в виде графика.
На графе отношения два элемента связаны стрелкой, если они находятся в этом

отношении.
Отношение T на множестве M называют рефлексивным1, если x T x для всех элементов

x из M.На графе рефлексивного отношения у каждой вершины имеется петлеобразная стрелка. Отношение T транзитивно2, если из x T y и y T z следу...