Algebra of Sets contains Underlying Set

Theorem
Let $S$ be a set.

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

Then:
 * $S \in \RR$