到一个正数：formula_22。这里，乘法不能再被看作是多次加法的重复了，而是为了使乘法满足分配律： 等式的左边为formula_24。等式的右边为formula_25。为了使两边相等，必须要formula_22。
除法.除法和乘法类似。若被除数和除数有不同的符号，结果是一个负数：若被除数和除数有相同的符号（就算他们均为负），结果是一个正数：