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