Equivalence of Definitions of Symmetric Relation

Theorem
A relation $\mathcal R$ on a set $S$ is symmetric iff it equals its inverse:
 * $\left({\forall x, y \in S: x \mathop {\mathcal R} y \implies y \mathop {\mathcal R} x}\right) \iff \left({\mathcal R^{-1} = \mathcal R}\right)$

Proof
Suppose $\mathcal R \subseteq S \times S$ is symmetric.

Thus $\mathcal R^{-1} \subseteq \mathcal R$ and, from Inverse Relation Equal iff Subset, $\mathcal R^{-1} = \mathcal R$.

Now suppose $\mathcal R^{-1} = \mathcal R$.

Thus:

... so $\mathcal R$ is symmetric by the definition of a Symmetric Relation.

Comment
Some sources use this definition:
 * $\left\{{\left({t, s}\right): \left({s, t}\right) \in \mathcal R}\right\} = \mathcal R$

as the definition of a symmetric relation.