Sea G un grupo topológico.