Is [see page 22, defined] as the range for a subset of a functions domain. I.E. for a function \( f : A \rightarrow B \) and a set \( S \subseteq A \) the image of the function is \( \{ f(a) : a \in S \} \).