injective quotient map is homeomorphism