Equivalence Class is not Empty

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

Then no $\RR$-class is empty.

Also see

 * Fundamental Theorem on Equivalence Relations


 * Union of Equivalence Classes is Whole Set
 * Equivalence Classes are Disjoint