Que podemos leer: existe al menos un elemento formula_20 en formula_2, y este elemento formula_20 no pertenece a formula_4.