Definition:Total Function

From ProofWiki
Jump to: navigation, search

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.