豪斯多夫空间
"X" 是 T4 空间，如果它是正规空间和豪斯多夫空间。