Définitionsprécompact

précompact

adjectif
/pʁe.kɔ̃.pakt/
  1. TopologieSe dit d’un espace métrique qui peut être recouvert par un nombre fini de boules de rayon aussi petit que souhaité.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.