扑。这种构造是普遍性的，在任何到完全正则空间 "Y" 的连续函数都将在 ("X", ρ) 上连续的意义上。用范畴论的语言，从 ("X", τ) 到 ("X", ρ) 的函子左伴随于包含函子 CReg → Top。因此完全正则空间的范畴 CReg 是拓扑空间范畴Top 的反射子范畴。通过选取柯尔莫果洛夫商，可以看出吉洪诺夫空间的子范畴也是反射的。可以证明在上述构造中 "C"("X") = "C"("X")，所以环 "C"("X") 和 "C"*("X") 典型的只在完全正则空间 "X" 中研究。S