Binary function

A binary function is a function where the domain is the subset of the Cartesian product of two sets. For example, the function plus : N × N -> N that maps an ordered pair of natural numbers to their sum. The application of plus to an ordered pair (x, y), that is plus((x, y)) is usually simply written as plus(x, y).