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