Бинарное отношение

Прямым произведением двух множеств и называется множество всех пар элементов, первый из которых принадлежит множеству (первому множеству), а второе –множеству (второму множеству):

:

Бинарным отношением между элементами двух множеств и называется любое подмножество множества : .

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

.

Областью значений бинарного отношения называется множество

.

Обратным отношением для бинарного отношения называется множество

.

Пусть является бинарным отношением между элементами множеств и , а является бинарным отношением между элементами множеств и . Суперпозицией бинарных отношений и называется бинарное отношение

.