p>

与全函数相对应的是，是“偏函数”。对于偏函数，对于有些输入，它并不能给出输出。比如一个除法器，当我们给它(6，0)时，它输出不了任何东西。这个除法器可以表示为：

div:Z2—Z

这里的单横线代表这是一个偏函数（其实应该用半箭头表示，但在这里打不出来）

好了，定义好符号之后，就可以清爽地描述我们的三种基本函数：后继函数、零函数、