Здравствуйте, amid!

Областью определения бинарного отношения R[$8712$]A[$215$]B называется множество D(R) = {a[$8712$]A:[$8707$]b[$8712$]B,(a,b)[$8712$]R} (другими словами, множество всех элементов A, находящихся в отношении хотя бы с одним элементом B). В данном случае D(R) = {1,2,5,6}.

Областью значения бинарного отношения R[$8712$]A[$215$]B называется множество E(R) = {b[$8712$]B:[$8707$]a[$8712$]A,(a,b)[$8712$]R} (другими словами, множество всех элементов B, находящихся в отношении хотя бы с одним элементом A). В данном случае E(R) = {1,2,5,6}.

Бинарное отношение R[$8712$]A[$215$]A называется рефлексивным, если [$8704$]a[$8712$]A (a,a)[$8712$]R. В данном случае все пары (1,1),...,(6,6) не принадлежат R, поэтому R - не рефлексивно.

Бинарное отношение R называется симметричным, если [$8704$](a,b)[$8712$]R: (b,a)[$8712$]R. В данном случае отношению R принадлежат пары (1,5) и (5,1), (1,6) и (6,1), (2,5) и (5,2), других пар нет, следовательно, R - симметрично.

Бинарное отношение R называется транзитивным, если [$8704$]a,b,c[$8712$]A(a,b)[$8712$]R&(b,c)[$8712$]R[$8658$](a,c)[$8712$]R. В данном случае, например, пары (1,5) и (5,2) принадлежат R, но пара (1,2) не принадлежит R, следовательно, R - не транзитивно.