Definition:Preimage of Subset under Mapping