\begin{definition}[Definition:Euler's Number/Exponential Function]
The number $e$ can be defined as the number satisfied by:
:$e := \exp 1 = e^1$
where $\exp 1$ denotes the exponential function of $1$.
\end{definition}