Тут ещё можно теоретико-множественные уравнения написать и решить. Рефлексивность:

. Антирефлексивность:

. Симметричность:

. Антисимметричность:

. Транзитивность:

. (

— отношение равенства на выбранном множестве.) Из симметричности и антисимметричности вытекает

. Вместе с рефлексивностью это

.
-- Пт окт 14, 2016 20:00:51 --Остаётся проверить транзитивность (в уме). То, что антирефлексивность не выполняется при рефлексивности автоматически, видно воочию.