Précompact définition

précompact

[adjectif] Se dit d’un espace métrique qui peut être recouvert par un nombre fini de boules de rayon aussi petit que souhaité.
Trouvé sur https://fr.wiktionary.org/wiki/précompact

---