Definition:Total Function

Let $$S \subseteq \N^k$$.

Let $$f: S \to \N$$ be a partial function.

Let $$S = \N^k$$.

That is, the domain of $$f$$ is then the whole of $$\N^k$$.

Then $$f$$ is a total function.