This is an old revision of the document!
Anti-symmetric relation
Definition
| $X$ |
| $ R\in\text{Rel}(X) $ |
| $ \{R\} $ |
|---|
| $ (\langle x,y\rangle \in R) \land (\langle y,x\rangle \in R) \implies (x=y) $ |
|---|
Ramifications
Wikipedia: Anti-symmetric relation
Context
Subset of
