Past exam of the options II course of the University of Oxford / 2012 / E / E4 / a / iii

If $g$ is continuous, so is the composition $g\circ p$. Conversely, assume the composition is continuous. For every open set $V\subseteq Y$,is open in $X$. The quotient definition then says that $g^{-1}(V)$ is open in $X/\mathcal{R}$. Hence $g$ is continuous andThis is the universal property of the quotient topology.