Y sea formula_3 un conjunto invariante por las aplicaciones es decir tal que: