减法是一种数学运算，表示从集合中移除对象的操作。它的符号是负号(?)。减法表示用不同的对象(包括负数、分数、无理数、向量、小数、函数和矩阵)去除或减少物理和抽象的量。
减法遵循几个重要的模式。它是反交换的，意味着改变顺序改变了答案的符号。它不具有结合性，也就是说，当一个减数超过两个数字时，减法的顺序是重要的。减法0不改变一个数字。减法也遵循与加法和乘法等相关运算的可预测规则。所有这些规则都可以被证明，从整数的减法开始，并通过真实的数字和其他东西来概括。继续这些模式的一般二元运算在抽象代数中学习。