The Heine-Borel theorem states:
A subspace of Rn (with the usual topology) is compact if and only if it is closed and bounded.
