Element in its own Equivalence Class

Theorem
Let $\mathcal R$ be an equivalence relation on a set $S$.

Then every element of $S$ is in its own $\mathcal R$-class:
 * $\forall x \in S: x \in \left[\!\left[{x}\right]\!\right]_\mathcal R$