Notemos, también, que un subconjunto formula_2 es cerrado respecto a una operación formula_15--aria formula_16, cuando formula_17.