假设A是一个非空集合,对A中的任意两个元素a和b,根据某种法则使A中有唯一确定的元素c与它们对应,我们就说这个法则是A中的一种运算。
反过来,如果已知元素c,以及元素a、b中的一个,按照某种法则,可以得到另一个元素,这样的法则也定义了一种运算,这样的运算叫做原来运算的逆运算。如减法是加法的逆运算。
减法是一种数学运算,表示从集合中移除对象的操作。它的符号是负号(−)。例如,在右边的图片,有5−2苹果,5苹果,2个被带走,就剩下了3个苹果。因此5−2=3。减法表示用不同的对象(包括负数、分数、无理数、向量、小数、函数和矩阵)去除或减少物理和抽象的量。
减法遵循几个重要的模式。它是反交换的,意味着改变顺序改变了答案的符号。它不具有结合性,也就是说,当一个减数超过两个数字时,减法的顺序是重要的。减法0不改变一个数字。减法也遵循与加法和乘法等相关运算的可预测规则。所有这些规则都可以被证明,从整数的减法开始,并通过真实的数字和其他东西来概括。继续这些模式的一般二元运算在抽象代数中学习。