Exercice 16, § 3

Soient X un espace topologique non vide, R une relation d’équivalence dans X. Montrer que si on considère X/R comme une partie de $\mathfrak{P}_0(X)$, la topologie quotient sur X/R est moins fine que les topologies induites sur X/R par les topologies $\mathscr{T}_\Omega$ et $\mathscr{T}_\varnothing$ sur $\mathfrak{P}_0(X)$ (I, p. 91, exerc. 7).