De exponentiële functie is continu en strikt stijgend van R op (0,+∞); volgens de bijectiestelling (Stelling 21.15) heeft de vergelijking ex=y voor elke y>0 precies één oplossing. Die oplossing is de natuurlijke logaritme van y, geschreven lny. Dus geldt
voor x∈R, y>0:y=ex⟺x=lny.
In het bijzonder is ln1=0, lne=1, elny=y en ln(ex)=x.