In matematica, una funzione f : X → Y {\displaystyle f\colon X\to Y} si dice invertibile se esiste una funzione g : Y → X {\displaystyle g\colon Y\to X} tale che: g = x, {\displaystyle g=x,\quad } per ogni x ∈ X ; {\displaystyle x\in X;} f = y, {\displaystyle f=y,\quad } per ogni y ∈ Y ; {\displaystyle y\in Y;} o più brevemente: g ∘ f = id X ; {\displaystyle g\circ f={\text{id}}_{X};} f ∘ g = id Y ; {\displaystyle f\circ g={\text{id}}_{Y};} dove f ∘ g {\displaystyle f\circ g} indica la funzione composta e id S {\displaystyle {\text{id}}_{S}} indica la funzione identità su S {\displaystyle S}. Wikipedia