Бинарным отношением из множества Ав множество В называется всякое подмножество прямого произведения А на В; если А=В, то говорят о бинарном отношении на множестве А. Обозначение:
Множество точек плоскости, координаты которых (x,y), образуют упорядоченные пары некоторого бинарного отношения называется графиком данного бинарного отношения.
Бинарные отношения – это множества, их можно объединять, пересекать, дополнять и т. д.
Бинарное отношение указывает на наличие определенной связи между некоторыми парами объектов.
Отношением, обратным к отношению, называют подмножество прямого произведения , такое, что .