 Quotient topology

For an equivalence relation $R$ on a topological space $X$, the quotient topology on the set $X/R$ declares $U\subseteq X/R$ open exactly when its inverse image under the projection $q:X\to X/R$ is open in $X$.