Equivalence of Definitions of Generalized Ordered Space

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

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

Definition $(3)$ implies Definition $(2)$
This follows from GO-Space Embeds Densely into Linearly Ordered Space.