Es decir que G/H es un grupo topológico.