Preimage of a set