Dictionary
Hei'ne-Bo•rel' the"orem
Pronunciation: (hī'nu-bô-rel', -bu-), [key] 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. Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.