Go backward to Direct Definition of Integer NumbersGo up to TopGo forward to Integer Arithmetic |

*Definition:* Set of integer numbers **Z**:

x~_{Z}y: <=> (x_{0}+_{N}y_{1}=y_{0}+_{N}x_{1})Z:= (NxN)/ ~_{Z}

*Partitioning of N x N by equivalence
relation.*

Author: Wolfgang Schreiner

Last Modification: January 12, 2000