Транзитивное замыкание

Пример 2.29.

Пусть отношение «быть братом», «быть отцом», «быть матерью». Все эти бинарные отношения заданы на множестве :

, и , , , .

Тогда (или ) ─ брат отца (или Стрый), а (или ) ─ брат матери (или вуй).

Как и в предыдущих разделах рассмотрим множество с заданным на нём бинарным отношением: , .

Если существует , такой, что выполняется соотношение и (или и ), то существует отношение, заданное но множестве , называемое второй степенью отношения : , т.е. выполняется соотношение или . Если существует цепочка из двух элементов , такая что , и , то или выполняется соотношение , то на множестве задано отношение, называемое третьей степенью отношения . Если существует цепочка элементов, , , …, , такая, что , , …, , то или , на множестве задано отношение, называемое той степенью отношения .

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