Definition:Image of Relation (Class Theory)