Is [see page 14, defined] as the set of tuples of the input-output pairs of a function. \[ \text{graph}(f) = \{ (a, b) \in A \times B : b = f(a) \} \]