Decimos que un subconjunto S no vacío de E es cerrado o estable respecto a la operación, ssi, el resultado de la operación en dos elementos cualesquiera de S es un elemento de S.