Page "Binary function" Paragraph 5

Conversely, a subset R defines a binary function if and only if, for any x in X and y in Y, there exists a unique z in Z such that ( x, y, z ) belongs to R.