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