6，2)输出12

输入(0，6)输出0

这时，我们把这些输入数对叫做da，输出的一个数叫做cda。如果我们用Z来代表全体整数集，那么这个平平无奇的乘法器就可以用数学符号表示为：

ult:Z2→Z

中间的这个→表示这个ult是一个ttalfun，也许可以称作“全函数”吧，意思是每一个da里的输入，都能对应一个cda里的输出。