\begin{definition}[Definition:Order Topology/Definition 1]
Let $\struct {S, \preceq}$ be a totally ordered set.
Let $\XX$ be the set of open rays in $S$.
Let $\tau$ be the topology on $S$ generated by $\XX$.
Then $\tau$ is called the '''order topology''' on $S$.
\end{definition}