Page "Binary function" Paragraph 4

Set-theoretically, one may represent a binary function as a subset of the Cartesian product X × Y × Z, where ( x, y, z ) belongs to the subset if and only if f ( x, y ) = z.