Preimage of Subset under Mapping/Definition 2