Al afirmar que existe al menos un formula_9 que pertenece a formula_2 y pertenece a formula_4, quiere decir que no todos los elementos de formula_2 pertenecen a formula_4, al ser formula_4 y formula_2 conjuntos distintos, existe al menos un elemento formula_20 de formula_2 que no pertenece a formula_4: