Bài tập 16, § 3

Cho $X$ là một không gian tôpô không rỗng và $R$ là một quan hệ tương đương trên $X$. Chứng minh rằng nếu $X/R$ được xem như một tập con của $\mathfrak{P}_0(X)$, thì tôpô thương trên $X/R$ thô hơn các tôpô cảm sinh trên $X/R$ bởi các tôpô $\mathfrak{T}_\Omega$ và $\mathfrak{T}_\Phi$ trên $\mathfrak{P}_0(X)$ (§ 2, Bài tập 7).