Relation Symmetry

Theorem
Every non-null relation has exactly one of these properties: it is either:
 * symmetric,
 * asymmetric or
 * non-symmetric.

Proof
From Relation both Symmetric and Asymmetric is Null, the empty set is both symmetric and asymmetric.

This is why the assumption that $\RR \ne \O$.

Let $\RR$ be symmetric.

Then from the definition of asymmetric, $\RR$ is not asymmetric.

Also, from the definition of non-symmetric, it is not non-symmetric.

Let $\RR$ be asymmetric.

Then from the definition of symmetric, $\RR$ is not symmetric.

Also, from the definition of non-symmetric, it is not non-symmetric.

If $\RR$ is not symmetric, and $\RR$ is not asymmetric, then from the definition of non-symmetric, it is non-symmetric.