Proposition 10
Tag 0B6M, permanent. Cite it as [Bourbaki, Tag 0B6M].
General Topology, chapter I, § 8. Hausdorff spaces and regular spaces
If is a Hausdorff space, and if has a continuous section with respect to the equivalence relation , then is Hausdorff and is closed in .
For (, no. 5) is homeomorphic to the subspace of , which is Hausdorff. Furthermore is the set of all such that , where is the canonical mapping; hence the second assertion follows from no. 1, Proposition 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.