部分一元函数实函数（定义域和值域为实数的函数）的微分所具有的性质，但两者间也存在差异。从全微分的定义出发，可以得出有关全微分存在条件的多个定理。
充分条件.一个多元函数在某点的全微分存在的充分条件是：此函数在该点某邻域内的各个偏导数存在且偏导函数在该点都连续，则此函数在该点可微。对于二元函数，此定理可表述为：若二元函数formula_23在点formula_5的某邻域内的偏导数formula_25与formula_26存在，且偏导函数formula_27与formula_28在