Ensemble Compact

Sous-ensemble d'un espace topologique tel que toute recouvrement ouvert admet une sous-famille finie couvrante ; dans les espaces métriques, équivalemment un ensemble dont toute suite possède une sous-suite convergente (compacité séquentielle) ou qui est complet et totalement borné.