Cuando un subconjunto formula_2 de formula_3 es cerrado respecto a una operación formula_4-=aria formula_5, tenemos asociada una operación formula_6 en formula_2 tal que para todo formula_8 en formula_2 se cumple que