Definition:Total Function

Definition
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.