Category:Algebra of Sets is Closed under Intersection