دل نوشته ها ی نقش و آموزش ریاضی  

در ریاضیات اگر f تابعی از مجموعه A به مجموعه B باشد، آن گاه تابع وارون (معکوس) f یا f−1 تابعی از B به A است، با این ویژگی که برای هر x در دامنهٔ f، نتیجه‌ی اعمال پی‌درپی تابع و وارون آن روی x، خود x خواهد بود. به دیگر سخن:

تعریف

اگر R یک رابطه از مجموعه X به مجموعه Y باشد، آنگاه معکوس رابطه R را با R−1 نشان می‌دهیم که عبارت است از:

که رابطه‌ای از مجموعه Y به مجموعه X است. حال تابع f:X→Y نیز یک رابطه است. پس معکوس آن را نیز می‌توان تعریف کرد که آن را با f−1 نشان می‌دهیم و حداقل یک رابطه از Y به X است.