Inverzna funkcija

Inverzna funkcija postoji samo za bijektivne funkcije.

Kaže se da je funkcija f inverzna funkciji g ako vrijedi da je kompozicija tih dviju funkcija (u bilo kojem poretku) identiteta:

Dakle:

1. $\mathrm{\forall }x\in 𝐗(g\circ f)(x)=x$
2. $\mathrm{\forall }y\in 𝐘(f\circ g)(y)=y$

Iz te definicije slijedi da je kodomena funkcije f domena funkcije g i obratno.