Бинарные отношения

Бинарным отношением, заданным на множестве , называется подмножество его декартового квадрата . Формально бинарное отношение представляется кортежем , первая компонента которого называется носителем бинарного отношения, а вторая ─ сигнатурой. Совокупность множествас заданным на нём бинарным отношением называется графом. Формально граф, также как и бинарное отношение, описывается кортежем. Высказывательная форма бинарного отношения имеет вид: . Таким образом, элементами бинарного отношения являются упорядоченные пары. Если элементы и находятся в отношении , то используется запись или соотношение . Рассмотрим способы задания бинарных отношений.

Дата добавления: 2014-01-05