Бинарное отношение [binary relation]. Иначе: двуместное или двойственное. «Бинарным отношением на множестве X» называется подмножество упорядоченных пар элементов из X. Примерами Б.о. являются равенство (=), неравенства (< или >), отношение включения A Ì B. В широком смысле слова понятие функции, ставящей в соответствие каждому числу x (аргументу) определенное значение функции f(x), также является Б.о.
Б.о. могут отображаться матрицами и графами. Например, отношение равенства можно описать единичной матрицей. Изучаются кроме Б.о. также тернарные (тройственные) и n-арные отношения.