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

| @#55CCEE: context     | @#55CCEE: $ Z $ |
| @#55CCEE: context     | @#55CCEE: $ f\in X^Y $ |

| @#55EE55: postulate   | @#55EE55: $ x\in f^{-1}(Y) $ |

| @#55EE55: postulate   | @#55EE55: $ f(x)\in Z $ |

==== Ramifications ====
=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Image_%28mathematics%29|Image]]
==== Parents ====
=== Context ===
[[Function]]