1о. Симметрия қонуни: Агар a≡b(mod m) бўлса, у ҳолда b≡a(mod m) ўринли; 2

Таққослама хоссалари
1^о. Симметрия қонуни: Агар a≡b(mod m) бўлса, у ҳолда b≡a(mod m) ўринли;
2^о. Транзитивлик қонуни: Агар a≡b(mod m), b≡с(mod m) бўлса, у ҳолда a≡с(mod m) ўринли;
3^о. Рефлексивлик қонуни: a≡a(mod m) ўринли;
4^о. Бир хил модулли таққосламаларни ҳадлаб қўшиш(айириш) мумкин:
a₁≡b₁(mod m), a₂≡b₂(mod m),..., a_n≡b_n(mod m) 
a₁±a₂±...±a_n≡b₁±b₂±...±b_n(mod m);
5^о. Таққосламани бир қисмидаги сонни иккинчи қисмига қарама-қарши ишора билан ўтказиш мумкин: a+b≡c(mod m)  b≡c-a(mod m);
6^о. Таққосламани ихтиёрий қисмига модулга каррали бўлган сонни қўшиш мумкин: a≡b(mod m)  a+mk≡b(mod m);
7^о. Бир хил модулли таққосламаларни ҳадлаб кўпайтириш мумкин:
a₁≡b₁(mod m), a₂≡b₂(mod m),..., a_n≡b_n(mod m) 
a₁a₂...a_n≡b₁b₂...b_n(mod m);
8^о. Таққосламани иккала қисмини бир хил мусбат бутун даражага кўтариш мумкин: a≡b(mod m)  a^k≡b^k(mod m);
9^о. Таққосламани иккала қисмини бир хил бутун сонга кўпайтириш мумкин: a≡b(mod m)  a^.k≡b^.k(mod m);
10^о. Таққосламани иккала қисмини модул билан ўзаро туб бўлган кўпайтувчига қисқартириш мумкин:
ЭКУБ(d,m)=1, ad≡bd(mod m)  a≡b(mod m);
11^о. a≡b(mod mn)  a≡b(mod m), a≡b(mod n);
12^о. a≡b(mod m)  ЭКУБ(a,m)=ЭКУБ(b,m);
13^о. Қуйидаги тенгликлар ўринли:
(a±b)mod m=((a mod m)±(b mod m))mod m;
(a^.b)mod m=((a mod m)^.(b mod m))mod m;
(a^.(b±c))mod m=((a^.b mod m)±(a^.c mod m))mod m.