Algebra of Sets is Closed under Set Difference/Proof 2

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

Thus: