Z = {..., -3, -2, -1, 0, 1, 2, 3, ... } kümesinde tanımlanan
β = {(x,y) : m | (x - y), m Î Z+ - {1} ve x, y Î Z}
bağınıtısı denklik bağıntısıdır. β, denklik bağıntısı olduğundan, ∀ (x, y) Î β için x ≡ y (mod m) dir.
Diğer bir ifadeyle, x in m ye bölümünden kalan y ise modül m ye göre x, y ye denktir denir ve x ≡ y (mod m) şeklinde gösterilir.
Örnek:
25 ≡ 4 (mod 7) ğ 25 in 7 ile bölümünde kalan 4 tür.
35 ≡ 8 (mod 9) ğ 35 in 9 ile bölümünde kalan 8 dir.
38 ≡ 2 (mod 6) ğ 38 in 6 ile bölümünde kalan 2 dir.
Kural:
