## EnglishEdit

### EtymologyEdit

Named after the German mathematician Eduard Heine (1821–1881) and the French mathematician Émile Borel (1871–1956).

### Proper nounEdit

- (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.