的历史。
与其他分离公理的联系.容易实习证实可以由函数分离的任何两个点也可以被闭邻域分离。如果它们可以由闭邻域分离则明显的它们可以由邻域分离。这得出了所有完全豪斯多夫空间是 Urysohn 空间而所有 Urysohn 空间是豪斯多夫空间。还可以证明所有正则豪斯多夫空间是 Urysohn 空间，而所有吉洪诺夫空间(完全正则豪斯多夫空间)是完全豪斯多夫空间。这可总结为下列蕴涵:你可以找到反例证明这些蕴涵都是不可反转的。
例子.余可数扩张拓扑是在实直线上