Definition:Image of Element under Relation