Proposition 1
Tag 0B15, permanent. Cite it as [Bourbaki, Tag 0B15].
General Topology, chapter I, § 3. Subspaces, quotient spaces
If and are two subsets of a topological space , and , then the closure of in the subspace is the intersection with of the closure of in .
If , every neighbourhood of in is of the form , where is a neighbourhood of in . Since , it follows that lies in the closure of with respect to if and only if lies in the closure of with respect to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.