Бинарное отношение
Прямым произведением
Бинарным отношением между элементами двух множеств Пусть
Областью значений бинарного отношения
Обратным отношением для бинарного отношения
Пусть
|
Бинарное отношение
Прямым произведением
Бинарным отношением между элементами двух множеств Пусть
Областью значений бинарного отношения
Обратным отношением для бинарного отношения
Пусть
|
двух множеств 
и 
называется множество всех пар элементов, первый из которых принадлежит множеству 
:
множества 
.
.
.
.
является бинарным отношением между элементами множеств 
является бинарным отношением между элементами множеств 
. Суперпозицией бинарных отношений 
.
