previous up next
Go backward to Observation
Go up to Top
Go forward to Residue Class
RISC-Linz logo

Modular Congruence

Definition: Two integers x and y are congruent modulo m if they have the same remainder when divided by m:

x = m y : <=> (x mod m) = (y mod m).

Proposition: = m is an equivalence relation, for every m in Z>0.

Author: Wolfgang Schreiner
Last Modification: January 12, 2000

previous up next