豪斯多夫空间
豪斯多夫空间是T1空间，这意味着所有单元素集合是闭集。类似的，预正则空间是 R0空间。