Urysohn’s lemma

Note

Let $X$ be a normal space, then for every disjoint sets $E,F\subset X$, exists a continuous function $f:X\to [0,1]$ such that $f{|}_E=0$ and $f{|}_F=1$.

Note \square

It can be generalized to arbitrary sets with disjoint closures.