在拓扑学和相关的数学分支中，正规空间（Normal space）、T₄ 空间、T₅ 空间和 T₆ 空间是特别优秀的一类拓扑空间。这些条件是分离公理的个例。

假定 X 是拓扑空间。X 是正规空间，当且仅当给定任何不相交闭集 E 和 F， 存在 E 的邻域 U 和 F 的邻域 V 也是不相交的。用较花巧的术语说，这个条件声称 E 和 F 是由邻域分离的。

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

X 是完全正规空间或继承正规空间，如果所有 X 的子空间是正规的。显然 X 是完全正规的，当且仅当任何两个分离集合可以由邻域分离。

In topology and related branches of mathematics, a normal space is a topological space X that satisfies Axiom T₄: every two disjoint closed sets of X have disjoint open neighborhoods. A normal Hausdorff space is also called a T₄ space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T₅ spaces, and perfectly normal Hausdorff spaces, or T₆ spaces.