Для бинарных отношений обычным образом вводятся теоретико-множественные операции объединения и пересечения.
Def :Обратным к P отношением P-1 называется множество .
Def: Композицией (суперпозицией) бинарных отношений и называется множество
Пример 3. Если , , то
Теорема 1. Для любого бинарного отношения выполняются следующие свойства:
1.
2.
3. (свойство ассоциативности композиции)
Доказательство.