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
| 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 $ |
Wikipedia: Anti-symmetric relation
