Heine-Borel theorem (source code)

= Heine-Borel theorem
{c}
{wiki=Heine–Borel_theorem}

A subset of a finite-dimensional real vector space is compact exactly when it is closed and bounded.