Definition:Generalized Ordered Space/Definition 3

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

Let $\tau$ be a topology for $S$.

$\left({S, \preceq, \tau}\right)$ is a generalized ordered space :


 * $(1): \quad \left({S, \tau}\right)$ is a Hausdorff space


 * $(2): \quad$ there exists a sub-basis for $\left({S, \tau}\right)$ each of whose elements is an upper set or lower set in $S$.

Also see

 * Equivalence of Definitions of Generalized Ordered Space