\begin{definition}[Definition:Exponential Function/Real]
For all definitions of the '''real exponential function''':
:The domain of $\exp$ is $\R$
:The codomain of $\exp$ is $\R_{>0}$
For $x \in \R$, the real number $\exp x$ is called the '''exponential of $x$'''.
\end{definition}