Set Intersection Preserves Subsets