Propiedades de ínfimos y supremos. Más consecuencias del axioma de completitud