Здравствуйте, KoreanLamer!
4.1.
-- область определения бинарного отношения;
-- область значений бинарного отношения.
4.2. Граф бинарного отношения показан в прикреплённом файле.
4.3.А. Бинарное отношение не является рефлексивным, потому что ни для одного элемента
поля бинарного отношения не имеет места
Например, не выполняется
4.3.Б. Будем исходить из того, что бинарное отношение
на множестве
называется симметричным, если для любой пары
из
следует
(то есть
или выполняется в обе стороны, или не выполняется вообще). Рассматриваемое бинарное отношение не является симметричным. Например, из
не следует
4.3.В. Бинарное отношение не является транзитивным. Например, из
и
не следует
Об авторе:
Facta loquuntur.