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