全微分法是微積分學中的一個概念，主要用於研究多元函式在所有自變數都發生變動時的性質。全微分指的是多元函式的全增量的線性主部。一個多元函式在某點的全微分存在的充分條件是此函式在該點某鄰域內的各個偏導數存在且偏導函式在該點都連續。這意味著，如果一個函式在某點的偏導數存在並且連續，那麼該函式在該點可微，並且全微分可以表示為各自變數的變化量與該自變數在該點的偏導數之積的和。
全微分的定義繼承了一元函式微分的一部分性質，但兩者之間也存在差異。從全微分的定義出發，可以得出有關全微分存在條件的多個定理。需要注意的是，這些充分條件並非必要條件，存在偏導函式不連續但多元函式仍可全微分的情況。如果不滿足這些充分條件，那麼一個多元函式能否全微分必須由定義加以證明。
全微分的基本公式是 dz=z'(x)dx+z'(y)dy。這個公式表明，對於函式z=f(x,y)，其全微分可以表示為偏導數與自變數變化量的乘積之和。