Go backward to Functions Go up to Top Go forward to Example

Functions

• Every unary function is a binary relation.

  The functions domain, range, inverse, and composition also apply to functions.

• n-ary functions can be modelled as unary functions.
  • Pack n arguments into a single n-tuple.
  • E.g., a binary function f is represented as (for some A, B, C)

    f: A x B -> C