If $X$ is a topological space and $Y\subset X$ is a subspace, and if there is an equivalence relation on $X$, then we have the map $ Y/\sim\to X/\sim$ that sends an equivalence class of $y\in Y$ to itself; it's one-to-one and continuous (w.r.t. the quotient topologies on both spaces). If we further assume it's onto, does it follow that it's a homeomorphism? I couldn't prove it, but I couldn't come up with a counterexample either.
(I know that in general, continuous bijections need not be homeomorphisms, but it might be the case quotient spaces have some properties that make any continuous bijection between them be a homeomorphism.)