Definition:Total Recursive Function

In general, a recursive function is a partial function.

A total recursive function is a recursive function which is total.