数学上的负数的取余法则

请问一下负数的取余法则，我知道计算机上的实现取决于编译器，我想问一下数学上的法则是怎么说的。 请问一下负数的取余法则，我知道计算机上的实现取决于编译器，我想问一下数学上的法则是怎么说的。