隱函式是一種表示函式關係的方式，其中函式關係被隱含在一個方程中，而不是明確地用一個變數的表達式來表示另一個變數。
在數學中，隱函式通常由方程F(x,y)=0定義，其中F是某個定義域上的函式，如果對於定義域上的某個子集D，對於每個x∈D，都存在唯一的y值滿足方程，則稱該方程確定了一個隱函式。隱函式與顯函式（y=f(x)）相對，並不總是能夠輕易地解出y作為x的函式，即使方程是可解的，有時也可能無法得到y的簡單表達式。
求導法則方面，對於已經確定存在且可導的隱函式，可以通過對方程兩邊對x求導來找到y關於x的導數，這種方法基於複合函式求導的鏈式法則。