Bourbaki

Remark

Tag 0B1C, permanent. Cite it as [Bourbaki, Tag 0B1C].

General Topology, chapter I, § 3. Subspaces, quotient spaces

Let FF be a subset of XX such that for each point xx of XX there is a neighbourhood VV of xx such that V∩FV \cap F is closed in the subspace VV; then it follows from Proposition 3 of no. 1 that FF is closed in XX. On the other hand, Proposition 5 below shows that in general there are locally closed sets which are not closed in XX.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.