Twierdzenie Heinego-Borela
równoważny warunek zwartości zbioru / Z Wikipedii, wolnej encyclopedia
Twierdzenie Heinego-Borela charakteryzuje zbiory zwarte w przestrzeni euklidesowej. Twierdzenie to najprawdopodobniej udowodnił wcześniej Dirichlet, przypisywane jest jednak Heinemu i Borelowi.