Corollary
Tag 0B6C, permanent. Cite it as [Bourbaki, Tag 0B6C].
General Topology, chapter I, § 8. Hausdorff spaces and regular spaces
Every finite Hausdorff space is discrete.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.