lemme d'Urysohn

concept 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