空间，或完全 T 空间，如果它是完全正规的和豪斯多夫的，或等价的说，如果所有 "X" 的子空间是 T 的。"X" 是完美正规空间，如果任何两个不相交闭集可以由函数完全分离的。就是说，给定不相交闭集 "E" 和 "F"，有从 "X" 到实直线 R 的连续函数"f" 使得 {0} 和 {1} 在 "f" 下的前像分别是 "E" 和 "F"。在这个定义于可以使用单位区间 [0,1]，结果是相同的。明显的 "X" 是完美正规的，当且仅当 "X" 是正规的并且所有闭集是 "G" 集合。等价的说，"X" 是完美正