Order Topology

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
The topology on a linearly ordered set generated by basis elements that are open intervals (a,b) and rays of the form (−∞,b) and (a,∞); it ties the order structure to topological notions of openness and convergence.