豪斯多夫空间
"X" 是 T3 空间，当且仅当它是正则空间和豪斯多夫空间二者。