Si formula_33 son subconjuntos de formula_1 tales que formula_35, claramente formula_36