Diremos que el conjunto A está acotado superiormente respecto a formula_1 si: