Un conjunto formula_109 completamente ordenado está acotado superiormente si existe un elemento formula_110 que sea mayor que cualquier elemento del conjunto, es decir: