Леммой Гейне — Бореля[1] а также леммой Бореля — Лебега[2] или леммой о конечном покрытии

Леммой Гейне — Бореля^[1] (а также леммой Бореля — Лебега^[2] или леммой о конечном покрытии) называется следующий факт, играющий фундаментальную роль в анализе:
Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также покрывающую этот отрезок.
Обобщение этого предложения на многомерный случай также называется леммой Гейне — Бореля (или леммой Бореля — Лебега)^[3].