Proposition 9
Tag 0B0R, permanent. Cite it as [Bourbaki, Tag 0B0R].
General Topology, chapter I, § 2. Continuous functions
Suppose that the are homeomorphisms and that each is open (resp. closed) in ; then each is open (resp. closed) in and the restriction of to is a homeomorphism of onto the subspace of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.