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