Примеры бинарных отношений

Пусть A = B = R, пара (x, y) является точкой вещественной плоскости. Тогда бинарное отношение

R_А = { (x, y) | x² + y² £ 1 }

определяет замкнутый круг единичного радиуса с центром в точке (0, 0) на плоскости, отношение

R_Б = { (x, y) | x ³ y }

полуплоскость, а отношение

R_В= { (x, y) | |x – y| £ 2 }

полосу.

Диагональ множества A´A, т.е. множество D={(x,x) | xÎA}, называется единичным бинарным отношением или отношением равенства в A.

Областью определения бинарного отношения R называется множество d_R = { xÎA | $ yÎB, (x, y) ÎR }– множество первых элементов пар (x, y).

Областью значений бинарного отношения R называется множество r_R = { yÎB | $ xÎA, (x, y)ÎR }– множество вторых элементов пар (x, y).

Как для любых множеств, для бинарных отношений можно определить понятия нестрогого и строгого включения и равенства. Так, например, R₁ содержится в R₂ (R₁ Í R₂), если любая пара (x, y), которая принадлежит отношению R₁ а также принадлежит и отношению R₂. Например, R_А Í R_В, т.к. все точки (x, y), принадлежащие кругу R_А принадлежат также полосе R_в.

Операции над бинарными отношениями определяются подобно операциям над соответствующими множествами. Пусть А – произвольное множество на котором введены бинарные отношения R, R₁, R₂,...

1) Объединение двух бинарных отношений R₁ и R₂ – это отношение

R₁ È R₂ = { (x, y) | (x, y)ÎR₁ или (x, y)ÎR₂ }.

2) Пересечение двух бинарных отношений R₁ и R₂ – это отношение

R₁ Ç R₂ = { (x, y) | (x, y)ÎR₁ и (x, y)ÎR₂ }.

3) Обратное отношение R ^–1 = { (x, y) | (y, x)ÎR}.

4) Дополнение к отношению ={ (x, y) | (x, y)Î(A´A) \ R}.

5) Двойственное отношение R^d = .

6) Композиция (суперпозиция) отношений R = R₁oR₂ содержит пару (x, y) тогда и только тогда, когда существует такое zÎA, что (x, z)ÎR₁ и (z, y)ÎR₂.