Equivalence of Definitions of Generalized Ordered Space/One implies Three