Mot : compact
Catégorie : Adj
Définition : Qualifie un espace topologique séparé pour lequel de tout recouvrement par des ouverts peut être extrait un sous-recouvrement fini (propriété de Borel-Lebesgue).
Exemples : Par spécialisation, qualifie un espace métrique dans lequel toute suite admet une valeur d'adhérence. | Par spécialisation, pour une partie d'un espace normé, par exemple le plan, fermé et borné.