Siendo formula_1 cualquier conjunto invariante tal que: