Así, formula_70 si y solo si existe por lo menos un conjunto formula_1 en formula_67 que contenga al elemento formula_73.