Category:Equivalence of Definitions of Generalized Ordered Space