\begin{definition}[Definition:Generalized Ordered Space/Definition 1]
Let $\struct {S, \preceq}$ be a totally ordered set.
Let $\tau$ be a topology on $S$.
$\struct {S, \preceq, \tau}$ is a '''generalized ordered space''' {{iff}}:
:$(1): \quad \struct {S, \tau}$ is a Hausdorff space
:$(2): \quad$ there exists a basis for $\struct {S, \tau}$ whose elements are convex in $S$.
\end{definition}