noun Mathematics. 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.
Also called Borel-Lebesque theorem.
Origin:
named after Eduard Heine (1821–81), German mathematician and Émile Borel (1871–1956), French mathematician