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: