Ordnungstopologie

Die Ordnungstopologie auf einer total geordneten Menge ist die von Basisoffenen erzeugte Topologie, deren Basis offene Intervalle (a,b) und Strahlen (−∞,b) sowie (a,∞) sind; sie verknüpft die Ordnungsstruktur mit topologischen Begriffen wie Offenheit und Konvergenz.