Solution
= Solution
{c}
For the natural projection $p:X\to X/R$, the <quotient topology> declares $U\subseteq X/R$ open exactly when $p^{-1}(U)$ is open in $X$. It is the finest topology on the quotient making $p$ continuous.
= Solution
{c}
For the natural projection $p:X\to X/R$, the <quotient topology> declares $U\subseteq X/R$ open exactly when $p^{-1}(U)$ is open in $X$. It is the finest topology on the quotient making $p$ continuous.