Entonces, cuando formula_36, formula_37 son subconjuntos de formula_3 se cumple que: