Preimage of Subset under Mapping/Examples