Compactifier définition

compactifier

[verbe] `Compactifier un espace topologique X` : plonger `X` dans un espace compact comme partie dense, construire un compactifié de X.
Trouvé sur https://fr.wiktionary.org/wiki/compactifier

---