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