Si, además, H es normal en G y X un grupo topológico, f es un homomorfismo.