DEFINIŢIE: Fie o funcţie bijectivă. Pentru orice există un (unic!) astfel ca Corespondenţa "acel x pentru care " defineşte o funcţie pe mulţimea Y cu valori pe mulţimea X, care se numeşte inversa funcţiei şi se notează cu
OBSERVAŢII:1. Regula de corespondenţă din definiţie implică următoarea proprietate a funcţiei inverse: pentru orice pentru orice 2. Funcţiile şi sunt mutual inverse, adică:3. Pentru a găsi inversa unei funcţii numerice (dacă f este bijectivă) trebuie să exprimăm x în funcţie de y. Astfel de exemplu: dacă funcţia inversă este dacă funcţia inversă este:
