Definition 1
Tag 0B66, permanent. Cite it as [Bourbaki, Tag 0B66].
General Topology, chapter I, § 8. Hausdorff spaces and regular spaces
A topological space satisfying the conditions of Proposition 1 is called a Hausdorff or separated space; the topology of such a space is said to be a Hausdorff topology.
Axiom (H) is Hausdorff’s axiom.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.