Definition 3
Tag 0AZ3, permanent. Cite it as [Bourbaki, Tag 0AZ3].
General Topology, chapter I, § 1. Open sets, neighbourhoods, closed sets
A homeomorphism of a topological space onto a topological space is an isomorphism of the topological structure of onto that of ; that is to say, in accordance with the general definitions a bijection of onto which transforms the set of open subsets of into the set of open subsets of .
and are said to be homeomorphic if there is a homeomorphism of onto .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.