С в о й с т в а и о т н о ш е н и я

Отношение – это связь, в которой участвуют не менее двух объектов.
Если элемент x, принадлежащий множеству X, находится в некотором отношении R с элементом y, принадлежащим тому же множеству X, то это можно записать следующим образом:

Если же элемент x, принадлежащий множеству X, ненаходится в отношении R с элементом y из того же множества X, то это можно записать следующим образом:

Множество всех упорядоченных пар (х, у) называется полным (универсальным) бинарным отношением, которое задается декартовым, или прямым произведением множества X на себя:

Математически любое бинарное отношение R является подмножеством полного множества всех пар, или бинарных отношений, т.е.

Если ввести понятие многоместного отношения, а не только бинарного, то свойство можно рассматривать как одноместное, или унарное отношение. Таким образом, свойство оказывается частным случаем отношения. Свойство – это атрибут одного объекта.