Определение#

Бинарное отношение между $X$ и $Y$ является всякое множество $0 \subset X \times Y$ (декартового произведения) для любых двух множеств $X$ и $Y$ .

Для упорядоченной $(x,y) \in 0$ используют обозначение $x0y$ и говорят, что $x$ находится в отношении $0$ к $y$ .