Definition:Order Type of Rational Numbers

Definition
Consider the ordered set $\struct {\Q, \le}$ consisting of the set of rational numbers under the usual ordering $\le$.

The order type of $\struct {\Q, \le}$ is denoted $\eta$ (eta).