公理的个例。吉洪诺夫空间得名于安德列·尼古拉耶维奇·吉洪诺夫。
定义.假定 "X" 是拓扑空间。"X" 是完全正则空间，当且仅当给定任何闭集 "F" 和任何不属于 "F" 的点 "x"，存在从 "X" 到实直线 R 的连续函数"f" 使得 "f"("x") 为 0 和 "f"("y") 为 1 对于所有 "F" 中的 "y"。用“空想家”术语来说，这个条件声称 "x" 和 "F" 可以由函数分离。"X" 是吉洪诺夫空间或 T 空间或 T空间或完全 T 空间，当且仅当它