To describe the topology of a quotient space $X/\sim=\bar X$ from the sole definition may be challenging. That's why the we talk about quotient maps, which is a concept that will help us handle quotient topologies more easily
A map $q:X\longrightarrow X’$ is a quotient map when $X’$ has the same topology than when identifying the elements in $X$ that have the same image. This way, if we have a candidate to topology of $X/\sim=\bar X$ (for instance we want to check that $\bar X\simeq X’$), all we need is<br><br> <ol> <li> A map $q:X\longrightarrow X’$ that is in accordance with the equivalence set in $X$, that is, $q(x)=q(y)\Longleftrightarrow x\sim y$ </li> <li> To prove that $q$ is a quotient map </li> </ol> and automatically we'll have that $\bar X\simeq X’$. So our goal right now is to find distinctive properties of quotient maps.