Definition With f:X→Y as a Function The preimage of a set B⊂Y under f denoted as f−1[B] is the Subset of X defined by: f−1[B]={x∈X∣f(x)⊂B}
