Equivalence Class is not Empty

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

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