在减法算式中，已知的和就叫做被减数，减去的其中一个加数就叫做减数，而结果当然就是差。如果用字母表示的话，可以写成是a-b=c，其中a就是被减数，b则是减数，c是差。
减法是四则运算之一，从一个数中减去另一个数的运算叫做减法；已知两个加数的和与其中一个加数，求另一个加数的运算叫做减法。表示减法的符号是“-”，读作减号。
减法遵循几个重要的模式。它是反交换的，意味着改变顺序改变了答案的符号。它不具有结合性，也就是说，当一个减数超过两个数字时，减法的顺序是重要的。减法0不改变一个数字。减法也遵循与加法和乘法等相关运算的可预测规则。所有这些规则都可以被证明，从整数的减法开始，并通过真实的数字和其他东西来概括。
