 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$.

Urysohn's lemma is a fundamental result in topology, particularly in the area of general topology dealing with normal spaces.