Sea formula_1 un dominio y formula_2 un subconjunto de formula_1.