 Compact interval

A compact interval in the real numbers is either the empty set or a closed bounded interval $[a,b]$ with $a\le b$. Its compactness follows from the Heine-Borel theorem.