Criteriul standard este urmatorul: pentru orice
y din codomeniul functiei, ecuatia
trebuie sa admita o UNICA radacina
x apartinand domeniului.
In cazul concret de fata, pentru orice
avem
Deci functia este inversabila.
O alta alternativa este definitia inversei. Pur si simplu, functia (bine definita)
satisface relatia cu pricina: