An injective quotient map is a homeomorphism .

Proof
An injective quotient map is a bijective continuous map. It suffices therefore to show that the map is open due to (0x677bc58f) . Since every open subset is saturated one the image is open according to (0x67a4b655) .