Определение бинарного отношения
Определение. Говорят, что на множестве X задано бинарное отношение R, если задано подмножество декартова произведения Пример 2. Пусть
Все эти отношения заданы с помощью характеристического свойства. Ниже перечислены элементы этих отношений:
Тот факт, что пара (x, y) принадлежит данному отношению R, будем записывать: Областью определения Областью значений Так, для отношения Р из примера 2 областью определения является множество
|
(т.е. 
).
Зададим на Х следующие отношения:
– отношение равенства;
– отношение предшествования;
делится на 
– отношение делимости.
или xRy. Например, для отношения Q запись 4 Q 2 означает, что 4делится на 2 нацело, т.е. 
бинарного отношения R называется мно-жество 
называется множество 
, а областью значений – 
.
