Base dénombrable d’ouverts

[ Definition ]
\(X\) est à base dénombrable d’ouverts si on peut trouver une base d’ouverts qui soit dénombrable.
En savoir plus