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