最小余数系统少一个formula_45。
性质.
整除性.formula_46 （即是说 a 和 b 之差是 m 的倍数）换句话说，formula_47同余可以用来检验一个数是否可以整除另外一个数，见整除规则。
传递性.formula_48
保持基本运算.formula_49当formula_50时，则为等量加法、减法：formula_51<br>这性质更可进一步引申成为这样：formula_52S