Definition:Inverse Image of Element under Mapping