Preimage

Statements

Definition. Let $f:X\to Y$ be a function. The set $f^{-1}(Y)=\{x\in X|f(x)\in Y\}.$ is said to be the preimage of $Y$ under $f$.