Algebra of Sets contains Empty Set/Proof 1

Proof
By definition $2$ of Algebra of Sets:


 * $\RR$ is a ring of sets with a unit.

By definition $2$ of Ring of Sets: