Element in its own Equivalence Class

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

Then every element of $S$ is in its own $\RR$-class:
 * $\forall x \in S: x \in \eqclass x \RR$