Urysohn's lemma

Etymology
Named after the mathematician Pavel Samuilovich Urysohn.

Proper noun

 * 1)  A lemma stating that a topological space is normal if and only if any two disjoint closed subsets can be separated by a continuous function.