Algebra of Sets contains Empty Set

Theorem
Let $S$ be a set.

Let $\RR$ be an algebra of sets on $S$.

Then:
 * $\O \in \RR$

where $\O$ denotes the empty set.