Sea G un grupo topológico cualquiera.