Algebra of Sets contains Underlying Set/Proof 1

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

The result is hence immediate.