烏雷松引理

設X是一個正規空間，若A和B是X的不相交閉集，則存在一個從X到[0,1]的連續函數f，使得在A上f=0，在B上f=1。 ^[1] 

任何滿足這個性質的函數f都稱為烏雷松函數。

注意在以上的表述中，我們並不需要f(x) ≠ 0和≠ 1，對於A和B外部的x。這隻在完備正規空間中才有可能。

烏雷松引理導致了其它拓撲空間，例如“吉洪諾夫性質”和“完全豪斯多夫空間”的表述。例如，這個引理的一個推論是，正規的T1空間是吉洪諾夫空間。