Equivalence of Definitions of Generalized Ordered Space

Theorem
The three definitions of generalized ordered space are equivalent.

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