Category:Intersection of Set whose Every Element is Closed under Mapping is also Closed under Mapping