Пусть \(X\) и \(Y\) - данные числовые множества. Если некоторое соответствие \(f\) ставит в соответствие каждому элементу множества \(X\) только один элемент множества \(Y\), то \(f\) называется однозначной функцией от \(x\), определенной на множестве \(X\).

Функция обозначается следующим образом:

\( y=f(x)\)    

Пусть между элементами множеств \(X\) и \(Y\) функция \(y=f(x)\) устанавливает взаимно однозначное соответствие, т. е. для любого \(x \in X\) существует один и только один его образ \(y=f(x) \in Y\) и обратно, для любого \(y \in Y\) найдется единственный прообраз \(x \in X\) такой, что \(f(x)=y\). Тогда функция \(x=f^{-1}(y)\)  \((y \in Y)\), устанавливающая соответствие между элементами множеств \(Y\) и \(X\), называется обратной для функции \( y=f(x)\). Иными словами, обратная функция \(f^{-1}\) является отображением множества \(Y\) на множество \(X\). Функции \( y=f(x)\) и \( x=f^{-1}(y)\) взаимно обратны.