的第一非平凡事实”，通常用于构造正规空间上不同性质的连续函数。这个定理有广泛的应用，因为所有的度量空间和紧豪斯多夫空间都是正规的。这个引理是以帕维尔·萨穆伊洛维奇·乌雷松命名的。
正式表述.乌雷松引理说明，"X"是一个正规拓扑空间，当且仅当只要"A"和"B"是"X"的不交闭子集，就存在一个从"X"到单位区间[0, 1]的连续函数：使得对于所有"A"内的"a"，都有"f"("a") = 0，而对于所有"B"内的"b"，都有"f"("b") = 1。 任何满足这个性质的函数"