Si un conjunto está acotado superiormente en general existirá más de una cota superior, denotando al conjunto de cotas superiores de formula_109 como formula_115 se define el supremo de formula_109 como el mínimo de este conjunto: