Me acordé de este tema por casualidad.
Si es así, cuando la descubras llorarás de alegría.
Jejeje
¿Cómo está definido
?
Considera la biyección
dada por
. Considera
formado por la unión de
y los
nuevos objetos 
. Podemos ampliar
a una biyección de
a
definiendo
y
. Basta ahora transportar la estructuras topológica y de orden usuales de
a
.
Supongo que en
defines un orden de la siguiente manera: dados
, definimos
si y sólo si
. Además,
es abierto si y sólo si
es abierto.
Estabas refiriéndote a esto, ¿no?
Lo interesante, es que así
resultaría compacto, cuando
"sin los infinitos" no lo era.
Un saludo
