Category:Algebra of Sets is Closed under Set Difference