En este caso, el axioma topológico dice que si la sucesión formula_29 es creciente y acotada superiormente, entonces es convergente, es decir, existe un número real formula_30 que es el límite de la sucesión: formula_31.