Z-butun sonlar halqasi bo`lib, m1 natural son bo`lsin.
Ta’rif. Agar Z halqaga tegishli a va b sonlarni m natural songa bo`lganda hosil bo`lgan qoldiqlar bir xil bo`lsa, yoki a-b ayirma m ga bo`linsa, yoki a=b+mq tenglik o`rinli bo`lsa, u holda a va b sonlar m modul bo`yicha taqqoslanadi deyiladi va uni ab(mod m) ko`rinishda belgilanadi.
Taqqoslamalar quyidagi xossalarga ega:
10. Taqqoslama ekvivalent binar munosabat.
20.Bir xil modulli taqqoslamalarni hadma-had qo`shish (ayirish) mumkin.
Bu ish n ta a1b1(mod m), a2b2(mod m),...,anbn (mod m) taqqoslamalar uchun ham bajariladi, ya’ni a1a2... an(b1b2...bn) (mod m) taqqoslamani hosil qilamiz.
Natija. Taqqoslamaning bir qismidagi sonni uning ikkinchi qismiga qarama-qarshi ishora bilan o`tkazish mumkin.
Natija. Taqqoslamaning ixtiyoriy qismiga modulga karrali sonni qo`shish mumkin.
30. Bir xil modulli taqqoslamalarni hadma-had ko`paytirish mumkin.
Natija. Taqqoslamaning ikki qismini (modulni o`zgartirmay) bir xil natural darajaga ko`tarish mumkin.
40. Modulni o`zgartirmagan holda taqqoslamaning ikki qismini bir xil butun songa ko`paytirish mumkin.