- the theorem that in a metric space every covering consisting of open sets that covers a closed and compact set has a finite collection of subsets that covers the given set.
Heine Borel Theorem (noun) Definition, Meaning & Examples
