computation Definition Totally Recursive Function A -recursive function is called totally recursive if it is well-defined.