Go backward to FunctionsGo up to TopGo forward to Example |

- 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`

- Pack

Author: Wolfgang Schreiner

Last Modification: October 14, 1999