[Home]Binary function

HomePage | Recent Changes | Preferences

A binary function is a function where the domain is a 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).

See also binary operation.

HomePage | Recent Changes | Preferences
This page is read-only | View other revisions
Last edited August 9, 2001 12:58 am by Zundark (diff)