非負実数a,bに対して、
aの整数部分をX、少数部分をxとし、
bの整数部分をY、少数部分をyとする。
00=A(X,Y)
01=A(X,Y+1)
10=A(X+1,Y)
11=A(X+1,Y+1) とする。

A(a,b)=(00+11-01-10)xy+(10-00)x+(01-00)y+00 とする。