rmula_7不等于零，那么其中，a称为商数，b称为除数，c称为被除数。如果除式的商数（formula_9）必须是整数，则称为带余除法，formula_10与formula_11相差的数值，称为余数（formula_12）。这也意味着在高等数学（包括在科学与工程学中）和计算机编程语言中，formula_15写成formula_16。如果我们不需要知道确切值或者留待以后引用，这种形式也常常是称之为分数的最终形式。其中寻找商数的函数为formula_17，寻找余数的函数则为formula_18。