Topología de Orden
Definición
La topología de orden en un conjunto totalmente ordenado es la topología generada por bases formadas por intervalos abiertos (a,b) y rayos (−∞,b) y (a,∞); vincula la estructura de orden con nociones topológicas de apertura y convergencia.