Definition:Order Type of Real Numbers

Definition
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).