Bài tập 2, § 9

Chứng minh rằng một tập được sắp thứ tự tốt $X$ với tôpô $\mathfrak{T}_-(X)$ ($§ 2$, Bài tập 5) là địa phương compact, và là compact khi và chỉ khi $X$ có một phần tử lớn nhất. Suy ra rằng mọi tập hợp có thể được trang bị một tôpô sao cho nó trở thành một không gian compact.