ection::::定义.假定 "X" 是拓扑空间。"X" 是正规空间，当且仅当给定任何不相交闭集 "E" 和 "F"， 存在 "E" 的邻域 "U" 和 "F" 的邻域 "V" 也是不相交的。用较花巧的术语说，这个条件声称 "E" 和 "F" 是由邻域分离的。"X" 是 T 空间，如果它是正规空间和豪斯多夫空间。"X" 是完全正规空间或继承正规空间，如果所有 "X" 的子空间是正规的。显然 "X" 是完全正规的，当且仅当任何两个分离集合可以由邻域分离。"X" 是 T 空间，或完全 T 空间，如