 Urysohn's lemma

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