Mot : précompact
Catégorie : Adj
Définition : Se dit d'un espace métrique qui peut être recouvert par un nombre fini de boules de rayon aussi petit que souhaité.