previous up next
Go backward to Direct Definition of Integer Numbers
Go up to Top
Go forward to Integer Arithmetic
RISC-Linz logo

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.

Author: Wolfgang Schreiner
Last Modification: January 12, 2000

previous up next