math Definition Total Function A total function is a function that is defined for every element in its domain. Formally, if is a total function, then: