\begin{definition}[Definition:Linearly Ordered Space]
Let $\struct {S, \preceq}$ be a linearly ordered set.
Let $\tau$ be the order topology on $S$.
Then $\struct {S, \preceq, \tau}$ is a '''linearly ordered space'''.
\end{definition}