Category:Set Intersection Preserves Subsets