Decimos que el conjunto formula_1 está "acotado superiormente" si existe algún formula_3 cumpliendo formula_4.