习题 16, § 3

令$X$为非空拓扑空间且$R$等价关系位于$X$上。证明如果将$X/R$视为$\mathfrak{P}_0(X)$的子集，则$X/R$上的商拓扑比$\mathfrak{P}_0(X)$上的拓扑$\mathfrak{T}_\Omega$和$\mathfrak{T}_\Phi$在$X/R$上导出的拓扑更粗糙（§ 2， 习题7)。