# Asymmetric Relation is Antisymmetric

## Theorem

Let $\mathcal R$ be an asymmetric relation.

Then $\mathcal R$ is also antisymmetric.

## Proof

Let $\mathcal R$ be asymmetric.

Then from the definition of asymmetric:

$\left({x, y}\right) \in \mathcal R \implies \left({y, x}\right) \notin \mathcal R$

Thus:

$\neg \exists \left({x, y}\right) \in \mathcal R: \left({y, x}\right) \in \mathcal R$

Thus:

$\left\{{\left({x, y}\right) \in \mathcal R \land \left({y, x}\right) \in \mathcal R}\right\} = \varnothing$

Thus:

$\left({x, y}\right) \in \mathcal R \land \left({y, x}\right) \in \mathcal R \implies x = y$

$\blacksquare$