Sean G un grupo topológico T y G el complemento de {e}.