Бинарное отношение - определение

Бинарное отношение -- это некоторое отношение (связь), в котором состоят два элемента,
при этом в общем случае подразумевается, что пара этих элементов упорядочена.

Например, есть отношение "больше" - пишут в виде:

а > b

Можно сказать что для отношения в отношении "больше" состоят элементы пары (a, b) - и здесь, как вы можете видеть, порядок элементов имеет значение, так как если мы запишем (b, a), то это будет значить уже обратное, а именно:

b > a

Если же порядок элементов значения не имеет (пара (a, b) возможна как неупорядоченная), то говорят о рефлексивности отношения.