Siendo formula_4 la clase complementaria de A, cuyo contenido son los elementos x que no pertenecen a A.