Un subgrupo H de un grupo topológico G que sea abierto como subconjunto, será cerrado topológicamente.