Proper noun
Heine-Borel theorem (mathematical analysis) A theorem which states that for any subset S of an n-dimensional Euclidean space, S is compact if and only if it is both closed and bounded.