khi 2 số nguyên a và b chia cho c(khác 0) có cùng số dư thì nói a đồng dư b theo mod c
Nếu 2 số nguyên a và b khi chia cho c (c Khác 0 ) mà có cùng số dư thì ta nói a đồng dư với b theo mô-đun c;
Như vậy( mod c ) a - b Chia hết cho c
Hệ thức có dạng ( mod c ) gọi là 1 đồng dư thức , a gọi là vế trái của đồng dư thức, b là vế phải còn c là mô-đun