を満たすような をそれぞれ商と剰余として与える。このような方程式を満たす整数 は複数存在するが（たとえばある に対して と の組は同様に上記の方程式を満たす）、剰余 の取り得る値に制限を与えて一意に商 と剰余 の組を定めることができる。よく用いられる方法は剰余 を除数 より絶対値が小さな非負の数と定めることである。このような除法はユークリッド除法と呼ばれる。
これは、感覚的には被除数から除数を引けるだけ引いた残りを剰余と定めているということである。こうして定められる剰余はしばしば「 の を法とする剰余」「 の法 に関する剰余 () 」などと言い表される。
剰余がでないことはしばしば「はで割り切れない」と表され、記号的に と表される。
ユークリッド除法による計算例は以下の通りである。以下では除数を , 被除数を としている。
絶対的最小剰余.
他の剰余に対する制限方法として、剰余の絶対値が最小となるよう商を定める方法がある。この方法では、
あるいは
の範囲に剰余 が含まれる。この場合、ユークリッド除法と違い は負の値を取り得る。このように定められる剰余を絶対的最小剰余 (絶対値最小剰余とも。) と呼ぶ。
絶対的最小剰余を用いる場合の計算例は以下の通りである。以下では除数を , 被除数を としている。
いずれの方法であっても、除数 がの場合、剰余 はでなければならず、被除数 がどんな数であっても商を一意に定めることはできない。
絶対的最小剰余とユークリッド除法によって定められる最小非負剰余、あるいは別の方法のいずれを用いるかは自由であり、与えられる剰余がそのいずれかであるかは予め決められた規約に従う。この規約は、計算する対象や計算機の機種、あるいはプログラミング言語により、まちまちである。簡単な分析とサーベイが という文献にまとめられている。
有理数の除法.
整数の除法では、考えている数（自然数または整数）の範囲内で商を取り直して剰余を定義することで、除法をその数の範囲全体で定義できることを述べた。さらに、よく知られているように、数の範囲を有理数まで拡張し、商に有理数を許すことによって、剰余の概念は不要となり、有理数の全体で四則演算が自由に行えるようになる。
任意の被除数 の でない除数 による除算は、有理数 をただ一つ与える。
この有理数 は