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:
