完全正则空间

完全正则空间（completely regular space）是1993年公布的数学名词。设X为拓扑空间。若对X中任一x与其邻域U，存在连续映射f:X→[0，1]，满足f(x)=0与f(Uc)=1。