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

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

 

:

 

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

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

 

.

 

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

 

.

 

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

 

.

 

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

 

.