The compositional inverse of a function f is f⁻¹, as ff⁻¹= mathit I, as mathit I is the identity function. That is, ∀x,f(f⁻¹(x))= mathit I(x)=x.