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