Remark 3
Tag 0B6T, permanent. Cite it as [Bourbaki, Tag 0B6T].
General Topology, chapter I, § 8. Hausdorff spaces and regular spaces
A topology which is finer than a regular topology need not be regular (Exercise 20).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.