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

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

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

,

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

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

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

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