## Pre-image

### Set

Pre-image of the function $f$ w.r.t the codomain subset $Z$.

 context $Z$ context $f\in X^Y$
 postulate $x\in f^{-1}(Y)$
 postulate $f(x)\in Z$

Wikipedia: Image