Definition:Total Function

Let $$f: \N^k \to \N$$ be a partial function such that $$f$$ is defined on $$S \subseteq \N^k$$.

Now let $$S = \N^k$$.

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

Then $$f$$ is a total function.