Base d’ouverts

[ Definition ]
Soit \(X\) un espace topologique. Une famille \({\cal B}\) d’ouverts de \(X\) est une base d’ouverts si tout ouvert est une réunion d’éléments de \({\cal B}\).
En savoir plus