f"("x") 为 0 和 "f"("y") 为 1 对于所有 "F" 中的 "y"。用“空想家”术语来说，这个条件声称 "x" 和 "F" 可以由函数分离。"X" 是吉洪诺夫空间或 T 空间或 T空间或完全 T 空间，当且仅当它是完全正则空间和豪斯多夫空间二者。注意某些数学文献对术语“完全正则”和涉及“T”的术语使用了不同的定义。我们这里给出的定义是今天最常用；但是某些作者切换了两类术语的意义，或者把它们用做同一个条件的同义词。在这里，我们直率的使用术语“完全正则”和“吉洪诺夫”，但避免不太明晰的