減法（げんぽう、英: subtraction）は、一方から一部として他方を取り去ることにより両者の間の差分を求める二項演算で、算術における四則演算の一つ。計算することの側面を強調し引き算（ひきざん）、減算（げんさん、げんざん）などとも言う。また、引き算を行うことを「a からb を引く」(b is subtracted from a) と表現する。引く数を減数（げんすう、英: subtrahend）と呼び、引かれる数を被減数（ひげんすう、英: minuend）と呼ぶ。また、減算の結果は差（さ、英: difference）と呼ばれる。
抽象代数学において減法は多くの場合、加法の逆演算として定式化されて加法に統合される。たとえば自然数の間の減法は、整数への数の拡張により、数を引くことと負の数を加えることとが同一視されて、減法は加法の一部となる。またこのとき、常に大きいものから小さいものを減算することしかできない自然数の体系に対して、整数という体系では減算が自由に行える（整数の全体は、逆演算として減法を内包した加法に関してアーベル群になる）。
定義.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;background:#f8f9fa;border:1px solid #aaa;padding:0.2em;text-align:center;line-height:1.4em;font-size:88%;border-collapse:collapse;display:table}body.skin-minerva .mw-parser-output .sidebar{display:table!important;float:right!important;margin:0.5em 0 1em 1em!important}.mw-parser-output .sidebar-subgroup{width:100%;margin:0;border-spacing:0}.mw-parser-output .sidebar-left{float:left;clear:left;margin:0.5em 1em 1em 0}.mw-parser-output .sidebar-none{float:none;clear:both;margin:0.5em 1em 1em 0}.mw-parser-output .sidebar-outer-title{padding:0 0.4em 0.2em;font-size:125%;line-height:1.2em;font-weight:bold}.mw-parser-output .sidebar-top-image{padding:0.4em}.mw-parser-output .sidebar-top-caption,.mw-parser-output .sidebar-pretitle-with-top-image,.mw-parser-output .sidebar-caption{padding:0.2em 0.4em 0;line-height:1.2em}.mw-parser-output .sidebar-pretitle{padding:0.4em 0.4em 0;line-height:1.2em}.mw-parser-output .sidebar-title,.mw-parser-output .sidebar-title-with-pretitle{padding:0.2em 0.8em;font-size:145%;line-height:1.2em}.mw-parser-output .sidebar-title-with-pretitle{padding:0 0.4em}.mw-parser-output .sidebar-image{padding:0.2em 0.4em 0.4em}.mw-parser-output .sidebar-heading{padding:0.1em 0.4em}.mw-parser-output .sidebar-content{padding:0 0.5em 0.4em}.mw-parser-output .sidebar-content-with-subgroup{padding:0.1em 0.4em 0.2em}.mw-parser-output .sidebar-above,.mw-parser-output .sidebar-below{padding:0.3em 0.8em;font-weight:bold}.mw-parser-output .sidebar-collapse .sidebar-above,.mw-parser-output .sidebar-collapse .sidebar-below{border-top:1px solid #aaa;border-bottom:1px solid #aaa}.mw-parser-output .sidebar-navbar{text-align:right;font-size:75%;padding:0 0.4em 0.4em}.mw-parser-output .sidebar-list-title{padding:0 0.4em;text-align:left;font-weight:bold;line-height:1.6em;font-size:105%}.mw-parser-output .sidebar-list-title-c{padding:0 0.4em;text-align:center;margin:0 3.3em}@media(max-width:720px){body.mediawiki .mw-parser-output .sidebar{width:100%!important;clear:both;float:none!important;margin-left:0!important;margin-right:0!important}} (-)
被減数 − 減数 = 差
乗法 (×)
因数 × 因数 = 積
被乗数 × 乗数 = 積
被乗数 × 倍率 = 積
除法 (÷)
被除数 ÷ 除数 = 商
被約数 ÷ 約数 = 商
実 ÷ 法 = 商
.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}分子/分母 = 商
剰余算 (mod)
被除数 .mw-parser-output .monospaced{font-family:monospace,monospace}mod 除数 = 剰余
被除数 mod 法 = 剰余
冪 (^)
底冪指数 = 冪
冪根 (√)
次数√被開方数 = 冪根
対数 (log)
log底(真数) = 対数
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・ ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" 。";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" - ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、 ";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" / ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:") ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}
表
話
編
歴
二つの数 a, b の加法と呼ばれる演算 + に対して、数 c がa + b = c
という関係を満足するとき、演算子 − を導入してb = c − a
と記し、c から a を引いた数は b であるという。この数 b は c と a の差と呼ばれる[1]。
例えば、2 + 3 = 5 であるので5 − 3 = 2, 5 − 2 = 3
のような計算が成立する。
数 a に対して以下の関係を満たす数 b を、加法に関する a の逆元 (additive inverse)、あるいは反数 (opposite) という。a + b = 0.
この逆元を特別に −a と表すと、これは以下の関係を常に満たす。a + (−a) = 0.
一方、a − a = 0
という関係が成り立つから、ある数 c から a を引く演算は、c − a = c + (−a) + a − a = c + (−a)
と置き換えることができる。つまり、減法は減数の逆元の加法として扱うことができる。ただしこのような計算が可能なのは a の加法の逆元 −a が定まる限りにおいてであり、実際に自然数の範囲では（0 を除いて）そのような数は存在しない。 基本的な性質は加法の性質による。任意の 2 数の間の減算は、a − b = a + (−b) と減数 b の加法の逆元 −b を用いた加算に置き換えられる。従って、減数が 0 の減算はそのまま被減数を与え、被減数が 0 の減算は減数の加法の逆元を与える。a − 0 = a,0 − a = (−a). また、以下のような入れ替えは可能であり、(a − b) − c = (a − c) − b 複数の減算は 1 つにまとめることができる。(a − b) − c = a − (b + c). しかし、被減数と減数を入れ替えるような操作は許されない。a − b ≠ b − a, (a ≠ b),(a − b) − c ≠ a − (b − c), (c ≠ 0). つまり減法については交換法則、結合法則が成り立たない。結合に関する規約として、左側の演算を優先する。従って、a − b − c は通常、(a − b) − c の意味で用いられる。減法を加法で置き換えることで加法の交換法則や結合法則を利用することは可能であり、以下の関係が成り立つ。a − b = (−b) − (−a),(a − b) − c = a − (b − (−c)). 2 数 a, b が以下の条件の場合、a − b は次のように計算する。 符号|a| > |b||a| < |b||a| = |b|
性質
正負の数の計算方法
a ≥ 0, b ≥ 0|a| − |b|−(|b| − |a|)0
a < 0, b < 0−(|a| − |b|)|b| − |a|0
a ≥ 0, b < 0|a| + |b|
a < 0, b ≥ 0−(|a| + |b|)
2数の符号が同じ場合
a の絶対値 |a| が b の絶対値 |b| より大きい場合 (|a| > |b|)
a, b ともに正の数なら (a > 0, b > 0)
a の絶対値 |a| から b の絶対値 |b| を引き、正の符号 + をつける。
a, b ともに負の数なら (a < 0, b < 0)
a の絶対値 |a| から b の絶対値 |b| を引き、負の符号 − をつける。
a の絶対値 |a| が b の絶対値 |b| より小さい場合 (|a| < |b|)
a, b ともに正の数なら (a > 0, b > 0)
b の絶対値 |b| から a の絶対値 |a| を引き、負の符号 − をつける。
a, b ともに負の数なら (a < 0, b < 0)
b の絶対値 |b| から a の絶対値 |a| を引き、正の符号 + をつける。
a, b の絶対値が等しい場合
差は 0 である。
2数の符号が異なる場合
a が正の数で b が負の数なら (a > 0, b < 0)
a の絶対値 |a| と b の絶対値 |b| を足し、正の符号 + をつける。
a が負の数で b が正の数なら (a < 0, b > 0)
a の絶対値 |a| と b の絶対値 |b| を足し、負の符号 − をつける。
出典^ 高木 2008, p. 25, 第二章 四則算法 (一)減法の意義.