Category:Definitions/Image of Subset under Mapping