Изменения

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

'''Бинарным отношением''' ''R'' из множества ''A'' в множество ''B'' называется подмножество прямого произведения ''A'' и ''B'' и обозначается:

<math>R \subset \Alpha \times \Beta</math>

Часто используют инфиксную форму записи:

<math>R \subset \Alpha \times \Alpha</math>

Примерами множеств с введёнными на них бинарными отношениями являются [[Ориентированный граф|графы]] и частично упорядоченные множества.

== Свойства отношений ==

Для <math>R \subset A^2</math> определены свойства: