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$.