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