بگذارید یک تابع y=f(x) وجود داشته باشد، X دامنه تعریف آن است، Y محدوده مقادیر آن است. می دانیم که هر x 0 مربوط به یک مقدار واحد است y 0 =f(x 0)، y 0 Y.
ممکن است معلوم شود که هر y (یا قسمت آن 1) نیز با یک x منفرد از X مطابقت دارد.
سپس می گویند در ناحیه (یا قسمت آن ) تابع x=y به عنوان تابع معکوس برای تابع y=f(x) تعریف می شود.
به عنوان مثال:
X =(); Y=)