Resulta de la experiencia que un subgrupo de un grupo topológico tiene propiedades "agradables" cuando como subespacio topológico es cerrado.