Entonces, hay una única función inyectiva f: X/ ∼ → Y tal que f ° ν = f cuya imagen es f(X).