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

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

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

,

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

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

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

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