Разнообразие отношений. Отношения объектов и их множеств

Ключевые слова:

отношение
отношение «является элементом множества»
отношение «входит в состав*
схема отношения
схема состава
круги Эйлера

Человек может рассказать не только о признаках объекта, но и об отношениях, в которых этот объект находится с другими объектами. Например:

«Иван — сын Андрея»;
«Эверест выше Эльбруса»;
«Винни Пух дружит с Пятачком»;
«21 кратно 3»;
«Кострома такой же старинный город, как и Москва»;
«текстовый процессор входит в состав программного обеспечения компьютера»;
«один байт равен восьми битам».

В каждом из приведённых предложений выделено имя отношения, которое обозначает характер связи между двумя объектами.

Отношение — это взаимная связь, в которой находятся какие-либо объекты.

Одним и тем же отношением могут быть попарно связаны несколько объектов. Соответствующее словесное описание может оказаться очень длинным, и тогда в нём трудно разобраться.

Пусть про населённые пункты А, Б, В, Г, Д и Е известно, что некоторые из них соединены железной дорогой: населённый пункт А соединён железной дорогой с населёнными пунктами В, Г и Е, населённый пункт Е — с населёнными пунктами А, В, Г и Д.

Для большей наглядности имеющиеся связи («соединён железной дорогой») можно изобразить линиями на схеме отношений. Объекты на схеме отношений могут быть изображены кругами, овалами, точками, прямоугольниками и т. д. (рис. 4).

Имена некоторых отношений изменяются, когда меняются местами имена объектов, например: «выше» — «ниже», «приходится отцом» — «приходится сыном». В этом случае направление отношения на схеме отношений обозначают стрелкой.

Так, на рис. 4 каждая стрелка направлена от отца к его сыну и поэтому отражает отношение «приходится отцом», а не «приходится сыном». Например: «Андрей приходится отцом Ивану».

Стрелки можно не использовать, если удаётся сформулировать и соблюсти правило взаимного расположения объектов на схеме. Например, если на рис. 5 имена детей всегда располагать ниже имени их отца, то можно обойтись без стрелок.

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

Отношения могут существовать не только между двумя объектами, но и между объектом и множеством объектов, например:

Гарри Поттер — литературный персонаж;
«Камчатка — это полуостров (является полуостровом)»;
«Москва — столичный город».

В каждом из этих предложений описано отношение «является элементом множества».