Equivalence of Definitions of Generalized Ordered Space

Theorem
The following definitions of generalized ordered space are equivalent:

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