Remark
Tag 0B1C, permanent. Cite it as [Bourbaki, Tag 0B1C].
General Topology, chapter I, § 3. Subspaces, quotient spaces
Let be a subset of such that for each point of there is a neighbourhood of such that is closed in the subspace ; then it follows from Proposition 3 of no. 1 that is closed in . On the other hand, Proposition 5 below shows that in general there are locally closed sets which are not closed in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.