根據 正規空間 的一個刻畫，根據 Kelley (1955, p. 112) 或 Willard (1970, p. 99) 給出的定義。它指出 拓撲空間 
是 正規 當且僅當，對於所有閉子集 
的 
，每個 連續函式 
，其中 
表示具有 歐幾里得拓撲 的 實數線，可以被擴充套件為連續函式 
(Willard 1970, p. 103)。
根據另一種定義（Cullen 1968, p. 118），該陳述有所不同：如果 
是一個 T4 空間，對於所有閉子集 
的 
，每個連續有界函式 
都可以擴充套件為連續有界函式 
。(Cullen 1968, p. 127)
關於對映的正規性的另一個刻畫是 烏雷松引理。
