在拓扑学和其数学上相关分支领域中，正则空间和 T₃ 空间是特定种类的拓扑空间。这两个条件都是分离公理的个例。

假定 X 是拓扑空间。

X 是正则空间，当且仅当给定任何闭集 F 和不属于 F 的任何点 x，存在 x 的邻域 U 和 F 的邻域 V 它们是不相交的。用“空想家”的术语来说，这个条件声称 x 和 F 可以由邻域分离。

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

注意某些数学文献对术语“正则”和“T₃”使用了不同的定义。我们这里给出的定义只是今天最常用的；但是某些作者切换了这两个术语的意义，或把它们用做唯一一个条件的两个同义词。在维基百科中，我们直率的使用术语“正则”，而通常称呼正则豪斯多夫空间来替代不太明晰的“T₃”。在其他文献中，你要注意作者使用了哪种定义。(短语“正则豪斯多夫”是无歧义的)。更多详情请参见分离公理的历史。

In topology and related fields of mathematics, a topological space X is called a regular space if every non-empty closed subset C of X and a point p not contained in C admit non-overlapping open neighborhoods. Thus p and C can be separated by neighborhoods. This condition is known as Axiom T₃. The term "T₃ space" usually means "a regular Hausdorff space". These conditions are examples of separation axioms.