Sea formula_16, y sea formula_100 un subconjunto de formula_1 (i.e.