Definition:Preimage of Element under Mapping