\begin{definition}[Definition:Order Type of Real Numbers]
Consider the ordered set $\struct {\R, \le}$ consisting of the set of real numbers under the usual ordering $\le$.
The order type of $\struct {\R, \le}$ is denoted $\lambda$ ('''lambda''').
\end{definition}