Бинарное отношение (на множестве M)

Бинарное отношение (на множестве M) (Binary relation) - набор упорядоченных пар из элементов множества [math]\displaystyle{ M }[/math]. Наиболее удачный способ представления бинарного отношения [math]\displaystyle{ R }[/math] на множестве [math]\displaystyle{ M }[/math] --- представление с помощью орграфа, вершины которого суть элементы множества [math]\displaystyle{ M }[/math], а дуги --- упорядоченные пары элементов, определяющие отношение [math]\displaystyle{ R }[/math].

См. также Антирефлексивное отношение, Антисимметричное отношение, Асимметричное отношение, Бинарное отношение, Отношение достижимости, Отношение строгого частичного упорядочения,Отношение упорядочения, Отношение частичного упорядочения, Отношение эквивалентности.

Литература

[Лекции]