Heine–Borel theorem

A subset of ℝ^n is compact iff it is closed and bounded. The prototypical characterisation of compactness in finite-dimensional Euclidean spaces.