Convenimos también en que formula_100, formula_150 e formula_121, formula_152 representan, respectivamente, subconjuntos de formula_1 y subconjuntos de formula_2.