Anti-symmetric relation

Set

context $X$
definiendum $ R\in\mathrm{SymmetricRel}(X) $
context $ R \in \mathrm{Rel}(X) $
$ x,y\in X $
postulate $ xRy \land yRx \implies x=y $

Discussion

Reference

Wikipedia: Anti-symmetric relation

Parents

Subset of

Binary relation on a set