Urysohn lemma (source code)

= Urysohn lemma
{c}
{wiki=Urysohn's_lemma}

If $A,B$ are disjoint closed subsets of a normal space, there is a continuous function $f:X\to[0,1]$ with $f|_A=0$ and $f|_B=1$.