Definition:Order Topology/Definition 1

Definition
Let $\left({S, \preceq}\right)$ be a totally ordered set.

Let $\mathcal X$ be the set of open rays in $S$.

Let $\tau$ be the topology on $S$ generated by $\mathcal X$.

Then $\tau$ is called the order topology on $S$.