preimage

(mathematics) For a given function, the set of all elements of the domain that are mapped into a given subset of the codomain; (formally) given a function ƒ : X → Y and a subset B ⊆ Y, the set ƒ⁻¹(B) = {x ∈ X : ƒ(x) ∈ B}.