Entonces, cuando formula_30, formula_31 son subconjuntos de formula_5 se cumple que: