Esto indica que formula_4 está formado por todos aquellos enteros positivos "n" tales que al mismo tiempo no formen parte del conjunto formula_8 de la lista "L".