4可表示为formula_25（其中formula_26是不依赖于formula_27的常数），而formula_28是比formula_27高阶的无穷小，那么称函数formula_30在点formula_21是可微的，且formula_32称作函数在点formula_21相应于自变量增量formula_27的微分，记作formula_35，即formula_36，formula_35是formula_38的线性主部。通常把自变量formula_39的增量formula_27称为自变量的微分，记作fo