Proposition 1
Tag 0AZZ, permanent. Cite it as [Bourbaki, Tag 0AZZ].
General Topology, chapter I, § 2. Continuous functions
Let be a mapping of a topological space into a topological space . If is continuous at , and if lies in the closure of a subset of , then lies in the closure of .
Let be a neighbourhood of in . Since is continuous at , is a neighbourhood of in . Hence meets , from which it follows that meets , and therefore is in the closure of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.