Definition Seien a,b,m Ganze Zahlen. Wir sagen, a ist kongruent b modulo m, falls a und b bei Devision durch m den selben Rest lassen. a mod b = b mod a ⟹ a≡b