Sea G un grupo, topológico o no.