Definition:Image of Element under Mapping