Algebra of Sets contains Empty Set/Proof 2

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

Thus: