当自变量x改变为x＋Δx时，相应地函数值由f(x)改变为f(x＋Δx），如果存在一个与Δx无关的常数A，使f(x＋Δx）－f(x)和A·Δx之差关于Δx→0是高阶无穷小量，则称A·Δx是f(x)在x的微分，记为dy，并称f(x)在x可微。函数可导（参见“导数”）必可微，反之亦然，这时A=f′(x)。再记Δx=dx，则dy=f′(x)dx。例如d(sinx)=cosxdx。