Tome dois elementos quaisquer $a$ e $b$ e o conjunto $X$ formado por ambos. Pela definição de boa ordem sabemos que $a \leq b$ ou $b \leq a$, ou seja, são comparáveis. Concluímos então que toda boa ordem é total.