Definition:Preimage Set of Mapping