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