函數可微是函數在某一點可微分的必要條件。具體地說，如果函數在某一點是可微分的，那么它在該點必定是連續的；而對于二元函數來說，如果它在某一點是可微分的，那么該函數對于變量x和y的偏導數在該點都必須存在。

另一方面，如果函數在某一點的某個鄰域內對于變量x和y的偏導數都存在且連續，那么該函數在該點是可微的。

我們設函數為y=f(x)，如果自變量x的變化量Δx與函數相應的變化量Δy之間遵循Δy=A×Δx＋ο(Δx)的關系，其中A與Δx無關，那么我們稱函數f(x)在點x是可微的，并將AΔx稱為函數f(x)在點x的微分，用dy來表示，即dy=A×Δx。當x=x0時，我們將其記作dy∣x=x0。