Example 2

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

General Topology, chapter I, § 5. Open mappings and closed mappings

For a bijection $f$ of a topological space $X$ onto a topological space $X'$ to be a homeomorphism it is necessary and sufficient that $f$ is continuous and open, or continuous and closed.

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

Cited by

Nothing.

Cites

Nothing.