数学分支中，正规空间（）、T 空间、T 空间和 T 空间是特别优秀的一类拓扑空间。这些条件是分离公理的个例。
定义.假定 "X" 是拓扑空间。"X" 是正规空间，当且仅当给定任何不相交闭集 "E" 和 "F"， 存在 "E" 的邻域"U" 和 "F" 的邻域 "V" 也是不相交的。用较花巧的术语说，这个条件声称 "E" 和 "F" 是由邻域分离的。"X" 是 T 空间，如果它是正规空间和豪斯多夫空间。"X" 是完全正规空间或继承正规空间，如果所有 "X" 的子空间是正规的。