Heine–Borel Theorem

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
In Euclidean space R^n, a subset is compact (every open cover has a finite subcover) if and only if it is closed and bounded; this characterizes compact sets in the standard topology on R^n.