Let $t \mapsto \exp(x)$ be the D1932: Standard natural real exponential function.
Let $x, y \in \mathbb{R}$ each a D993: Real number such that

(i)	\begin{equation} x < y \end{equation}

Then \begin{equation} \exp(x) < \exp(y) \end{equation}