若一個函數的圖像關於直線y=x對稱,則有y=f(x)及x=f(y)。設函數y=f(x)(x∈A)的值域是C,若找得到一個函數g(y)在每一處g(y)都等於x,這樣的函數x= g(y)(y∈C)叫做函數y=f(x)(x∈A)的反函數,記作y=f^(-1)(x) 。反函數y=f ^(-1)(x)的定義域、值域分別是函數y=f(x)的值域、定義域。