Sean G un grupo topológico, g un elemento cualquiera del grupo, y "e" el elemento neutro del grupo.