o sea es un subgrupo topológico de G.