Category:Intersection of Non-Empty Class is Set