View source for Urysohn's lemma

{{Stub page|grade=B}}
==Statement==
Let {{Top.|X|J}} be a ''[[normal topological space|normal]]'' [[topological space]], let {{M|E}} and {{M|F}} be a pair of ''[[disjoint]]'' [[closed set|closed sets]] of {{M|X}}, then{{rITTGG}}:
* there exists a [[continuous function]], {{M|f:X\rightarrow [0,1]\subset\mathbb{R} }} such that {{M|f}} is {{M|0}} on {{M|E}} and {{M|f}} is {{M|1}} on {{M|F}}
{{Todo|Get a picture - the idea of this theorem is brilliant, once you see it!}}
==Proof==
{{Requires proof|grade=C|msg=Not an easy proof}}
==References==
<references/>
{{Theorem Of|Topology}}