互为反函数。给定一个定义有加法运算的集合，不总能够定义一个对应的减法运算，自然数的集合就是一个很简单的例子。然而，反过来说，一个减法运算唯一地确定一个加法运算、一个加法逆元运算、一个加法单位元。因此，一个加法群可以描述为一个在减法运算下封闭的集合。乘法可以想成是重复的加法。如果一个单项 在加法运算中出现 次，那么这个加法运算的结果就是 和 的积。即使 不是自然数，这个积仍然可能是有意义的，例如当 时，这个积就是 的加法逆元。在实数和复数域中，加法和乘法可以通过指数函数互相交换：formula_