pre-image

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 $

Ramifications

Reference

Wikipedia: Image

Parents

Context