La negación de formula_6 se escribe formula_7 y se lee "formula_2 no pertenece al conjunto formula_3".