un subconjunto de formula_45.