Preimage

given a binary relation, the set of all elements of the domain that map to the members of a given subset of the codomain