Proposition 2
Tag 0B17, permanent. Cite it as [Bourbaki, Tag 0B17].
General Topology, chapter I, § 3. Subspaces, quotient spaces
Let be a dense subset of a topological space ; then for each and each neighbourhood of relative to , the closure of in is a neighbourhood of in .
For contains , where is an open subset of which contains , hence contains (§ 1, no. 6, Proposition 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.