Bài tập 10, § 2

Trên một tập hợp $X$, cho $\mathfrak{M}$ là một tập có hướng các tôpô không có điểm cô lập. Chứng minh rằng cận trên nhỏ nhất của $\mathfrak{M}$ trong tập hợp tất cả các tôpô trên $X$ là một tôpô không có điểm cô lập.