模（MODULE）运算法则是什么呀？

定义：如果a为整数，b为非零整数，则有且只有一对整数q与r,使得 a=bq+r，0<=r<|b|
q与r分别叫做a除以b的不完全商与最小非负余数，简称商与余数。且有：
a mod b = r