Une propriété topologique : un espace est compact si tout recouvrement ouvert admet un sous-recouvrement fini ; en espaces métriques elle équivaut souvent à la compacité séquentielle et, en espaces euclidiens, à être fermé et borné.
Propriété topologique d'un ensemble signifiant que toute suite d'éléments de l'ensemble possède une sous-suite convergente dont la limite appartient à l'ensemble ; équivalente dans les espaces métriques à la compacité séquentielle.