Go backward to ExampleGo up to TopGo forward to Rational Numbers |

*Proposition:*
Let **Z**' denote the old construction of the integers and **Z**
denote the new one. The function
`i`: **Z**' -> **Z**

is an isomorphism with respect to 0, +, -, *, <, i.e.,

i(x) := [x]

i(0_{Z'})= 0 _{Z},i(x+_{Z'}y)= i(x)+_{Z}i(y),i(-_{Z'}x)= - _{Z}i(x),i(x-_{Z'}y)= i(x)-_{Z}i(y),...

*Inverse Isomorphism:*
`j`: **Z** -> **Z**',
`j`(`x`) := I(__ x__)

Author: Wolfgang Schreiner

Last Modification: January 12, 2000