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

Пусть -некоторое бинарноеотношение.

Обратное отношение к отношению определяется следующим образом:

,

упорядоченная пара принадлежит тогда и только тогда, когда принадлежит .

Если , то , если , то и

Композиция отношений r и g – бинарное отношение , состоящее из упорядоченных пар для которых существует элемент , такой, что выполняются условия , : = r ○ g = { (x, z)| х r у, y g z }.

Операция композиция отношений не коммутативна: , но ассоциативна