Heine-Borel Theorem

Also see

 * Compact Subspace of Linearly Ordered Space