 It is widely applicable since all metric spaces and all compact Hausdorff spaces are normal.The lemma is generalized by (and usually used in the proof of) the Tietze extension theorem.The lemma is named after the mathematician Pavel Samuilovich Urysohn.