Base d’une topologie
Concept history
A revision trail for this concept page.
Revision 7176
10/14/2026, 11:29:32 AM · Ancient Tree
Concept translation created
##### Définition formelle
Soit $(X,\tau)$ un [[espace-topologique|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}$.