Base d’une topologie

Définition formelle

Soit $(X,\tau)$ un espace topologique. Une famille $\mathcal{B}\subseteq \tau$ est une base de la topologie si tout ouvert de $X$ est une réunion d’éléments de $\mathcal{B}$.