X est séparé et pour toute famille discrète (Fi) de fermés de X, il existe une famille (Ui) d`ouverts disjoints telle que pour tout i, Fi ⊂ Ui. - Tout sous-espace F — en particulier tout fermé — d`un espace collectivement normal est collectivement normal.
Trouvé sur
https://fr.wikipedia.org/wiki/Espace_collectivement_normal
Aucun résultat n’a été trouvé dans l’encyclopédie.