Análogamente, si formula_222 es el conjunto de todas las cotas superiores de formula_206, formula_224 o formula_225 contiene a lo más un elemento, el cual sería entonces un máximo de formula_206.