Definition:Image of Set under Mapping