一个满足 拓扑空间 
公理的空间：
满足 T1 分离公理 且是正规的。在 Alexandroff 和 Hopf (1972) 的术语中，
空间被称为 Tietze 空间。
T_4 空间
参见
豪斯多夫公理, 分离公理, T0 空间, T1 分离公理, T1 空间, T2 空间, T3 空间此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
参考文献
Alexandroff, P. 和 Hopf, H. Topologie, Vol. 1. New York: Chelsea, 1972.引用此条目为
Barile, Margherita. "T_4 空间。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/T4-Space.html