a compact subset of uncountable ordinal space $\omega_1$

Question

It is known that the topological space $\omega_1$ is not compact. Further, $\omega_1$ has a least upper bound. Hence, by Theorem 27.1 of Munkres, every closed subset of $\omega_1$ is compact.

My question is: Is true that every compact subset of $\omega_1$ closed?

I do not know how to prove it and I also do not have a counterexample

Answer 1

Yes.

Since $\omega_1$ is linear order, the order topology is a Hausdorff topology. And in a Hausdorff space every compact set is closed.