除法
除法（じょほう、）とは、乗法の逆演算であり四則演算のひとつに数えられる二項演算の一種である。除算、割り算とも呼ばれる。
除法は ÷（日本で一般的） や /（世界的に優勢）、：（ドイツ・フランス）、及び⟌（筆算の場合）などといった記号を使って表される（#記号についても参照）。除算する2つの数のうち一方の項を被除数 (ひじょすう、) と呼び、他方を除数 () と呼ぶ。有理数の除法について、その演算結果は被除数と除数の比を与え、分数を用いて表せられる。このとき被除数は分子 ()、除数は分母 () に対応する。被除数と除数は、被除数の右側に除数を置いて以下のように表される。
除算は商 () と剰余 () の2つの数を与え、商と除数の積に剰余を足したものは元の被除数に等しい。
剰余は余りとも呼ばれ、除算によって「割り切れない」部分を表す。剰余が0である場合、「被除数は除数を割り切れる」と表現され、このとき商と除数の積は被除数に等しい。剰余を具体的に決定する方法にはいくつかあるが、自然数の除法については、剰余は除数より小さくなるように取られる。たとえば、 を で割った余りは 、商はとなる。これらの商および剰余を求める最も原始的な方法は、引けるだけ引き算を行うことである。つまりをで割る例では、からを1回ずつ引いていき（）、引かれる数がより小さくなるまで引き算を行ったら、その結果を剰余、引き算した回数を商とする。これは自然数の乗法を足し算によって行うことと逆の関係にある。
剰余を与える演算に % などの記号を用いる場合がある。
除数がである場合、除数と商の積は必ずになるため商を一意に定めることができない。従ってを除数とする除法の商は未定義となる（ゼロ除算を参照）。
有理数やそれを拡張した実数、複素数における除法では、整数や自然数の除法と違って剰余は使われず、
という関係が除数が0の場合を除き常に成り立つ。この関係は次のようにも表せられる。
実数などにおける定義から離れると、除法は乗法を持つ代数的構造について「乗法の逆元を掛けること」として一般化できる。一般の乗法は交換法則が必ずしも成り立たないため、除法も左右2通り考えられる。