Example
Tag 0AZ4, permanent. Cite it as [Bourbaki, Tag 0AZ4].
General Topology, chapter I, § 1. Open sets, neighbourhoods, closed sets
If and are two discrete spaces, any bijection of onto is a homeomorphism.
The following criterion follows immediately from the definition of a homeomorphism: for a bijection of a topological space onto a topological space to be a homeomorphism, it is necessary and sufficient that the image under of each open set in is an open set in , and that the inverse image under of each open set in is an open set in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.