部分函数

自变量和函数值都取自然数的函数。任给正整数m，设DN，函数f：D→N称为n元部分函数。特别地，当D=N时，f称为n元全函数；当D=时，f称为处处无定义的函数或空函数。

对每个n元部分函数f：D→N，如下定义的n元全函数f：

称为f的补全函数。全函数的补全函数就是它自己。