Mantido pelo grupo "Topologia do Interior"
Essa é uma revisão anterior do documento!
Admita $\omega$ com a ordem usual, que é um conjunto infinito e totalmente ordenado. Tome $n \in \omega$ qualquer. Note que não existe $m \in \omega$ tal que $n+1 > m > n$, onde $n+1$ é o sucessor de $n$.