La próxima proposición da condiciones para que una función biyectiva, obtenida por paso al cociente, sea un homeomorfismo.