Произведение отношений

Пример 2.26.

Если отношение , заданное на множестве означает «быть начальником», то обратное ему отношение означает «быть подчинённым». Запись или можно прочитать как является начальником . Тогда соотношение или читается как является подчинённым .

Пусть некоторое множество объектов, накотором заданы бинарные отношения , и , . Произведение отношений и определяется следующей высказывательной формой: . Следовательно, соотношение (или ) равносильно тому, что существует такой элемент , для которого выполнено и .

Дата добавления: 2014-01-05