Le lemme d'Urysohn est un résultat de topologie, qui établit que pour deux fermés disjoints F et G d'un espace normal X, il existe une fonction continue de X dans l'intervalle [0, 1] qui vaut 0 sur F et 1 sur G. Ce lemme permit d'étendre aux espaces normaux le théorème de prolongement de Tietze, initialement démontré en 1914 par Heinrich Tietze pour les espaces métriques. Wikipedia