/huy"neuh baw rel", -beuh-/ , Math.
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 .
[ named after Eduard Heine (1821-81), German mathematician and Émile Borel (1871-1956), French mathematician ]