Definition:Preimage under Mapping