topología más fina tal que la suprayección canónica η : G → G/H, η : x ↦ xH,