La próxima proposición muestra que la clausura de cada subgrupo es un subgrupo