Sea G un grupo topológico, H un subgrupo de G, ν : G → G/H la suprayección natural, y f : G → X continua tal que x, y en H implica que f(x) = f(y).