Definition:Image of General Relation