Я не уверен в существовании отношений, которые являются симметричными, антисимметричными и рефлексивными. Я готовлюсь к тесту, и этот вопрос только что возник у меня сейчас!
Я думал, что есть только одно решение для этого, и это набор {(a, a), (b, b), (c, c), (d, d), .. .., (n, n)}. Если Reflective означает xRx, то Симметричный означает xRy -> yRx, а Антисимметричный означает xRy & yRx -> x = y. Тогда все они содержат наборы элементов (a, b), в которых a = b. Я не прав в этом?