Euclidean division
Sind formula_3 und formula_4 reelle Zahlen, formula_3 ungleich 0, dann kann man eine Division mit Rest folgendermaßen definieren: Der "ganzzahlige" Quotient formula_14 und Rest formula_15 im halboffenen Intervall formula_90 sind diejenigen (eindeutig bestimmten) Zahlen, die die Gleichung formula_13 erfüllen.