zbiór zwarty

Przestrzeń zwarta – przestrzeń topologiczna  o tej własności, że z dowolnego jej pokrycia zbiorami otwartymi można wybrać podpokrycie skończone (tj. już skończona liczba zbiorów danego pokrycia tworzy pokrycie). Podzbiór przestrzeni topologicznej nazywany jest zbiorem zwartym, gdy traktowany jako podprzestrzeń (z topologią podprzestrzeni z ) jest przestrzenią zwartą.