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