Go backward to Direct Definition of Integer Numbers Go up to Top Go forward to Integer Arithmetic

Integer Domain

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.