Go backward to ExampleGo up to TopGo forward to Example (Continued) |

Let `r` subset (**R** x **R**) x (**R** x **R**)
such that
`r`(`x`, `y`) <=> `x`_{0}+`x`_{1} =
`y`_{0}+`y`_{1}.

[

[ a]_{r}= {binRxR:a_{0}+a_{1}=b_{0}+b_{1}}[ a]_{r}= {binRxR:b_{1}= -b_{0}+(a_{0}+a_{1})}

Author: Wolfgang Schreiner

Last Modification: January 12, 2000