任何闭集 "F" 和不属于 "F" 的任何点 "x"，存在 "x" 的邻域 "U" 和 "F" 的邻域 "V" 它们是不相交的。用“空想家”的术语来说，这个条件声称 "x" 和 "F" 可以由邻域分离。"X" 是 T 空间，当且仅当它是正则空间和豪斯多夫空间二者。注意某些数学文献对术语“正则”和“T”使用了不同的定义。我们这里给出的定义只是今天最常用的；但是某些作者切换了这两个术语的意义，或把它们用做唯一一个条件的两个同义词。在维基百科中，我们直率的使用术语“正则”，而通常称唿正则豪斯多夫空间来替代