Propiedades del supremo y el ínfimo de un conjunto, relacionadas con la existencia del máximo y el mínimo.