Si G un grupo topológico y H un subgrupo de H, entonces se cumple lo siguiente.