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)
.