Definition:Image of Subset under Mapping