減法

減法（げんぽう、英: subtraction）は、一方から一部として他方を取り去ることにより両者の間の差分を求める二項演算で、算術における四則演算の一つ。計算することの側面を強調し引き算（ひきざん）、減算（げんさん、げんざん）などとも言う。また、引き算を行うことを「a からb を引く」(b is subtracted from a) と表現する。引く数を減数（げんすう、英: subtrahend）と呼び、引かれる数を被減数（ひげんすう、英: minuend）と呼ぶ。また、減算の結果は差（さ、英: difference）と呼ばれる。 抽象代数学において減法は多くの場合、加法の逆演算として定式化されて加法に統合される。たとえば自然数の間の減法は、整数への数の拡張により、数を引くことと負の数を加えることとが同一視されて、減法は加法の一部となる。またこのとき、常に大きいものから小さいものを減算することしかできない自然数の体系に対して、整数という体系では減算が自由に行える（整数の全体は、逆演算として減法を内包した加法に関してアーベル群になる）。