Definition: Set of integer numbers Z:
x ~ Z y : <=> (x0 +N y1 = y0 +N x1) Z:= (N x N)/ ~ Z
Partitioning of N x N by equivalence relation.