\begin{definition}[Definition:Order Type of Rational Numbers]
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''').
\end{definition}