Soit un espace topologique. On considère les propriétés suivantes :
(i) contient un dénombrable dense.
(ii) la topologie sur possède une base dénombrable d’ouverts.
1
Montrer que (ii) implique (i) et que la réciproque a lieu si est métrisable. Un espace vérifiant (i) est dit séparable.