Definition:Image of Class under Mapping