Equivalence Class is not Empty

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

Then no $\mathcal{R}$-class is empty.

Proof
$$ $$