在拓扑学中，完全豪斯多夫空间或 Urysohn 空间是满足比熟知的豪斯多夫空间更强些的分离公理的一类拓扑空间。
定义.假定 "X" 是拓扑空间。设 "x" 和 "y" 是 "X" 中的点。Urysohn 空间或 T 空间是其中任何两个独特的点都可由闭邻域分离的空间。完全豪斯多夫空间或函数豪斯多夫空间是其中任何两个独特的点都可由函数分离的空间。
命名约定.分离公理研究因为命名约定混乱而声名狼籍。本文使用的定义是 Willard (1970)给出的更现