Equivalence of Definitions of Generalized Ordered Space

Theorem
The two definitions of generalized ordered space are equivalent.