Example
Tag 0BAL, permanent. Cite it as [Bourbaki, Tag 0BAL].
General Topology, chapter I, § 10. Proper mappings
Let be a set, and let be a mapping of onto a topological space ; topologize with the inverse image under of the topology of . Then is proper, for is closed (§ 5, no. 1, Example 3) and the inverse image of a point of is a subspace of whose topology is the coarsest topology and is therefore quasi-compact.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.