Sea formula_1 un conjunto y formula_100 un subconjunto de formula_1.