Separation axioms for topological ordered spaces
S. D. McCartan · Mathematical Proceedings of the Cambridge Philosophical Society · 1968
A topological ordered space (X, , <) is a set X endowed with both a topology and a partial order <, and is usually denoted by (X, ), it being understood that the symbol ≤ is used to denote all partial orders.