是微积分学的一个概念，指多元函数的全增量的线性主部。

一个多元函数在某点的全微分存在的充分条件是：此函数在该点某邻域内的各个偏导数存在且偏导函数在该点都连续，则此函数在该点可微。存在条件全微分继承了部分一元函数实函数（定义域和值域为实数的函数）的微分所具有的性质，但两者间也存在差异。从全微分的定义出发，可以得出有关全微分存在条件的多个定理。