This is an old revision of the document!
Restricted image
Definition
| $ f:X\to Y $ |
| $ S\subseteq X $ |
| $ 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: Image
Parents
Subset of
Requirements*
