Espace polonais définition

espace polonais

[nom] Espace métrisable à base dénombrable dont la topologie peut être définie par une distance qui en fait un espace complet.
Trouvé sur https://fr.wiktionary.org/wiki/espace_polonais

---