规定两数a ， b之间的一种运算，记作 ， 如果 ， 则 ． 我们叫为“雅对”．例如：因为 ， 所以 ． 我们还可以利用“雅对”定义说明等式成立．证明如下：

设 ， ， 则 ， ， 故 ， 则 ， 即 ．