derecho) que I es cerrado respecto a suma de elementos de I.