*[0,ω₁] is compact, while [0,ω₁) is sequentially compact and countably compact, but not compact or paracompact

Topology and ordinals

Ordinals as topological spaces

Any ordinal number can be viewed as a topological space by endowing it with the order topology (indeed,