mathematics A function which is defined for all arguments

of the appropriate type. The opposite is a partialfunction.