交的。用较花巧的术语说，这个条件声称 "E" 和 "F" 是由邻域分离的。"X" 是 T 空间，如果它是正规空间和豪斯多夫空间。"X" 是完全正规空间或继承正规空间，如果所有 "X" 的子空间是正规的。显然 "X" 是完全正规的，当且仅当任何两个分离集合可以由邻域分离。"X" 是 T 空间，或完全 T 空间，如果它是完全正规的和豪斯多夫的，或等价的说，如果所有 "X" 的子空间是 T 的。"X" 是完美正规空间，如果任何两个不相交闭集可以由函数完全分离的。就是说，给定不相交闭集 "E" 和 "