Bourbaki

Exercise 28, § 8

General Topology, I

Let XX be a separated non-regular space, FF a closed subset of XX, a∉Fa \notin F a point of XX such that every neighbourhood of aa meets every neighbourhood of FF. Let R be the equivalence relation obtained by identifying with one another all the points of FF. Now prove that R is closed and that its graph is closed in X×XX \times X, but that X/RX/R is not separated.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.