The ordinal α is compact as a topological space if and only if α is a successor ordinal.

順序数αが(順序)位相空間としてコンパクトであるのは、αが後続順序数であるとき、そのときに限る