Corollary
Tag 0B6F, permanent. Cite it as [Bourbaki, Tag 0B6F].
General Topology, chapter I, § 8. Hausdorff spaces and regular spaces
Every topology which is finer than a Hausdorff topology is Hausdorff.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.