Entonces, hay una función continua inyectiva f : G/H → X tal que f ◦ ν = f.