===== Restricted image =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $ f:X\to Y $ |
| @#55CCEE: context     | @#55CCEE: $ S\subseteq X $ |

| @#55EE55: postulate   | @#55EE55: $ f(S)\equiv \mathrm{im}(f|_S) $ |

==== Discussion ====
The notation $f(S)$ is overloading $f$, as $S$ is not actually in the domain $X$ of $f$. 
==== Reference ====
Wikipedia: [[http://en.wikipedia.org/wiki/Image_%28mathematics%29|Image]]
==== Parents ====
=== Subset of ===
[[Image]]
=== Context ===
[[Restricted relation]]