Esto implica que f es continua y que la topología de Y coincide con la topología de X/f, o sea que Y ≅ X/f.