Definition:Total Recursive Function

Definition
In general, a recursive function is a partial function.

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