互為反函式的兩個函式影象之間的關係是關於直線y = x 對稱，而且互為反函式的這兩個函式在相應區間上的單調性是相同的。一般情況下，如果x和y之間存在某種對應關係f(x)，即 y = f(x) ，則 y = f(x) 的反函式表示為 y = f(x)^(-1)。一個函數是否存在反函式，要看其定義域和值域是否一一對映，如果是，則說明該函式存在反函式。
