# Does there exist one relation is both reflexive, symmetric, transitive, antisymmetric?

Basically, we have 4 types of relations: reflexive, symmetric, antisymmetric, transtive. And then we separate 4 above types into 2 new definition:

1. One relation is reflexive, symmetric, transitve called equivalent relation.

2. One relation is reflexive, antisymmetrc, transitive called order relation.

All of them above are basic knowledge of elementary set theory.

So the question I wonder is "Does there exist one relation is both reflexive, symmetric, antisymmetric and transitive? If yes, so what is it called?"

Honestly, I have been finding out in the internet about my wonder, but of course I cannot see anything. Therefore, I post my question on here to ask everyone my question. Thanks for your helping.

• What do you mean by anti-symmetric? Wouldn't it require a sign, an ordering? Oct 23, 2021 at 18:48
• Well, antisymmetric means $a\sim b$ and $b \sim a$ implies that $a=b$, and symmetric means that $a\sim b$ implies $b\sim a$, so.....
– lulu
Oct 23, 2021 at 18:49
• If it is both, $a \sim b \Longrightarrow b\sim a \Longrightarrow a=b$ then all equivalence classes (it is also transitive) have one element. And every singleton defines such a relation. So the answer is: yes, there is exactly one such relation, but it is a useless one. Oct 23, 2021 at 19:10

Suppose $$\sim$$ is symmetric. Then for all elements $$a,b$$ in the ambient set $$S$$, we have that $$a\sim b$$ implies $$b\sim a$$. But if $$\sim$$ is antisymmetric, then $$a\sim b$$ and $$b\sim a$$ together imply $$a=b$$. Hence $$\sim$$ is in fact equality.
• Yes, @VAKK_19. What I mean is that, then, $\sim$ behaves precisely like $=$. Oct 23, 2021 at 19:06
• @VAKK_19 Not only those two properties (symmetric and anti-symmetric). But the four properties you named in your question implies that $\sim$ is equality.. Oct 23, 2021 at 19:12