=== A topologia da ordem satisfaz $T_1$ === Seja $(X, \preceq)$ um conjunto totalmente ordenado e $\tau$ a sua [[topologia:aincriveltopologiadaordem|topologia da ordem]]. Então $(X, \tau)$ satisfaz $T_1$. **Demonstração.** Sejam $a, b\in X$, $a\neq b$, e suponha sem perda de generalidade que $a\prec b$. Então $]a, +\infty[$ é um aberto de $\tau$ que contém $b$ mas não contém $a$, e, de modo análogo, $]-\infty, b[$ é um aberto de $\tau$ que contém $a$ mas não contém $b$. Segue que $(X, \tau)$ satisfaz $T_1$.