設函數y＝f(x)的定義域為a，值域為c，從y＝f(x)中解出x，得x＝φ(y)。如果對于c中每一個y的值，通過x＝φ(y)，在a中都有唯一確定的x值與它對應，那么x＝φ(y)就表示x是自變量y的函數，這樣函數x＝φ(y)稱為函數y＝f(x)的{1}，記作x＝f^-1(y)。