Definition 2.5.2.
Let \(V\) and \(W\) be sets. A function \(f\) from \(V\) into \(W\text{,}\) denoted by
\begin{equation*}
f:V\rightarrow W
\end{equation*}
assigns to each element \(x\) of \(V\text{,}\) an element \(y=f(x)\) of \(W\text{.}\) Moreover, we use the the following terminology.
If \(y=f(x)\text{,}\) we say that \(x\) maps to \(y\text{,}\) and \(y\) is the image of \(x\text{.}\)
Given some subset of \(V\text{,}\) call it \(X\text{,}\) we define the image of the subset \(X\) to be the set of \(f(x)\) for exactly those \(x\) in the subset \(X\text{.}\) The set \(f(V)\) is called the image or range of the function \(f\)


