Отношения

Определение. Назовем n-местным отношением R на множестве
М≠ Ø подмножество R Mⁿ. При n=2 отношение R называют бинарным. То есть бинарным отношением между элементами множеств А и В называют любое подмножество R множества А´В и записывают R А´В. Для отношения R обратным является отношение R^-1 В´А.

Бинарные отношения принято записывать в виде аRb, где а, b є М.

Графики прямых и обратных бинарных отношений, определенных на R, симметричны относительно биссектрисы 1 и 3 квадрантов.