ليكن a عددا صحيحا و b عددا طبيعيا غير معدوما توجد ثنائية (q,r) حيث q ينتمي الى Z و r ينتمي الى N
بحيث a = bq + r مع r<b
a هو المقسوم
b هو القاسم (أو المقسوم عليه)
q هو حاصل القسمة
r هو الباقي
نقول أن الزوج الوحيد (q,r) هو ناتج القسمة الإقليدية للعدد a على b
مثال
القسمة الإقليدية للعدد 614 على 37 تكتب
22 +37 * 16 = 614
و منه (16.22) = (q.r) مع 37>22