es un subconjunto de formula_45.