Talk:Topology/Separation Axioms

"for every closed set U, and open set V containing U, there is a set S containing U whose closure is within V." This statement is void, since you can take S to be U itself. Therefore the preliminary result in the proof of Urysohn's lemma effectively says that each topological space is normal. (The failure in this proof does not make me doubt the truth of the lemma though) Leen Droogendijk (discuss • contribs) 14:37, 3 June 2012 (UTC)

Checked other proofs and found out what was really intended. Changed main page accordingly. Leen Droogendijk (discuss • contribs) 15:10, 3 June 2012 (UTC)