 Urysohn's lemma

In topology, Urysohn's lemma is a lemma that states that a topological space is normal if and only if any two disjoint closed subsets can be separated by a continuous function.Urysohn's lemma is commonly used to construct continuous functions with various properties on normal spaces.