Equivalence of Definitions of Generalized Ordered Space

Theorem
Let $\struct {S, \preceq}$ 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.