Proposition 6
Tag 0AZO, permanent. Cite it as [Bourbaki, Tag 0AZO].
General Topology, chapter I, § 1. Open sets, neighbourhoods, closed sets
If is a base of the topology of a topological space , there is a dense set in such that .
We may restrict ourselves to the case in which none of the sets of is empty (the non-empty sets of already form a base of the topology of ). For each , let be a point of ; it follows from Proposition 3 of no. 3 that the set of the points is dense in , and we have (Set Theory, Chapter III, § 3, no. 2, Proposition 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.