減法

減法（英語：substraction、法語：soustraction）是四則運算之一。減法運算的本質，就是「已知兩個加數的和與其中一個加數，求另一個加數的運算」。

將5個桃子扣去2個，還剩3個，此時可以表達為${\displaystyle 5-2=3}$

例如：${\displaystyle {{5}-{2}}=3}$ 中，已知 ${\displaystyle 5}$ 是 ${\displaystyle 2}$ 和 ${\displaystyle 3}$ 的和，其中一個加數是 ${\displaystyle 2}$ ，求另一個加數 ${\displaystyle 3}$ 。

其中，${\displaystyle 5}$ 稱為被減數，${\displaystyle 2}$ 稱為減數，${\displaystyle 3}$ 是 ${\displaystyle 5}$ 和 ${\displaystyle 2}$ 的差。

減法遵循幾個重要的規律：

減法不像加法那樣符合交換律，即改變運算順序會一同改變結果符號。它也不滿足結合律，也就是說，當需要連續減去兩個以上的數時，減法的執行順序會影響結果。由於 ${\displaystyle 0}$ 是加法單位元，減去 ${\displaystyle 0}$ 不會改變一個數的值。

此外，減法在涉及相關運算（如加法和乘法）時也遵循可預測的規則。所有這些規則皆可從整數減法開始進行證明，並推廣至實數、乃至更廣泛的數學物件。所有遵循這些規律的通用二元運算在抽象代數中都有研究。

定義

算術定義​​

已知兩個加數的和與其中一個加數，求另一個加數的運算，符號為「 ${\displaystyle -}$ 」，結果為差。

集合運算定義

從一個集合中去除另一個集合的元素，得到補集，僅保留屬於前者的元素，記作 ${\displaystyle A-B}$ 。

此外，在可計算性理論中，由於減法在自然數上並非良定義，數與數之間的運算實際上是通過「截斷減法」或稱為monus的運算來定義的。