Definition:Image of Mapping (Class Theory)