El conjunto A está acotado superiormente respecto a formula_118 si: