Set Intersection Preserves Subsets/General Result/Corollary