豪斯多夫空间
还可以证明所有正则豪斯多夫空间是 Urysohn 空间，而所有吉洪诺夫空间(完全正则豪斯多夫空间)是完全豪斯多夫空间。这可总结为下列蕴涵: