余式和除法中的余数基本相似。只不过除数、被除数、商和余数都是代数式。例如，(x³+x²+1)÷(x-1)=(x²+2x+2)……3，这里的3就是余式。余式定理是指当一个多项式f(x)除以一线性多项式(x–a)的余式是f(a)。余式定理可由多项式除法的定义导出。