Bài tập 17, § 8

Chứng minh rằng các tôpô $\mathfrak{T}_0(X)$, $\mathfrak{T}_+(X)$ và $\mathfrak{T}_-(X)$ ($§ 2$, Bài tập 5) trên một tập hợp $X$ có thứ tự tuyến tính là chính quy.