Me preguntaba si existe una topología canónica inducida por un orden parcial sobre un conjunto y cómo se relaciona con la topología de ordenación total (si es que se puede extender a una ordenación total).
Pensé que tal vez la base se definiría como en los ordenamientos totales, pero esto no incluiría los elementos que son incomparables con todo. Me he dado cuenta de que en otra pregunta se menciona el espacio generado por los upsets y downsets; ¿sería ésta la topología natural inducida? ¿O se utilizan otras?
((No he podido encontrar mucho buscando en Google, y a menudo las páginas hablan de que todas las topologías de un conjunto están parcialmente ordenadas))
Gracias de antemano.
