<mathematics> A function which is defined for all arguments of the appropriate type. The opposite is a partial function.
(10 Jan 1997)