整数の構成から話をすれば、 順序対 および に対して、 であるような同値関係 を定める。 （ここで、(a,b)は実質上の a-b） 同値類の集合 の上で、乗算を と定める。 （上の加算、乗算は既に与えられているものとする） としておけば、-1は(0,1)で表せるので…