Algebra of Sets contains Underlying Set/Proof 2

Proof
By definition $1$ of algebra of sets, we have that:

We have that $\RR \ne \O$ and so:
 * $\exists A \subseteq S: A \in \RR$

Then: