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

Function