The Free On-line Dictionary of Computing (30 December 2018):total function A function which is defined for all arguments of the appropriate type. The opposite is a partial function. (1997-01-10)