模余符 ⁒ 以及“同余式”

两个表达式结果为整数a、b，若它们以正整数m作模除所得的余数相等，则称a、b对于模m同余，如此求同余项的表达式记作：

(a≡b)⁒m，

亦即 [(a≡b)⁒m]🟰[a⁒m≡b⁒m]，注意符⁒不同于%。式(a≡b)⁒m读作a、b同余于模m(或读作a与b对模m同余)。

比如:

(13+13≡12+2)⁒12=2。

*另一种常用的记法是“a≡b(mod m)”，由高斯(Gauss,C.F.)于1800年首创，发表在他的数论专著《算术研究》之中。