Definition:Order Topology/Definition 1

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

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

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

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