Un simple argumento de conteo basta para demostrar que todo conjunto finito totalmente ordenado (así como cualquier subconjunto) tiene un elemento mínimo, y por lo tanto está bien ordenado.