Бинарные (двухместные)

Тернарные (трехместные)

...

N) n-арные (n-местные)

Так, например, отношение «столица» – двухместное, ибо требует как минимум двух объектов – город, являющейся столицей, и страна, столицей которой он является. А отношение «сводничество» следует назвать трехместным, ибо для него необходимы как минимум три объекта – сводник и те двое, кого он сводит друг с другом.

Упражнение 1. Определите, к каким видам принадлежат следующие отношения:

А) знакомство

Б) продажа

В) подчинение

Г) наследование

Д) обмен

В дальнейшем для простоты мы будем исходить из предположения, что любое n-местное отношение можно представить как конъюнкцию определенного количества двухместных отношений. Скажем, трехместное отношение «ревность», имеющее место между а, b и с, можно представить как систему бинарных отношений: а любит b, b любит с, а ненавидит c.

У бинарных отношений принято выделять их область и противообласть.

Областью называется множество предметов, которые состоят в этом отношении к каким-либо другим предметам (т.е. множество исходящих вершин графов).

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

По характеру взаимозосвязи между областью и противообластью отношения можно делить на исключительные и неисключительные.

Отношение между а и b называется исключительным, если известно, что только a находится в этом отношении к b; оно называется неисключительным, если возможно, что не только a находится в этом отношении к b.

Дата добавления: 2015-06-30; просмотров: 130; Нарушение авторских прав

Мы поможем в написании ваших работ!