Algebra of Sets is Closed under Set Difference/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: