##### 正则空间 - 正则空间 - **正则空间**是满足[[分离公理|正则公理]]的[[拓扑空间]], 空间中任意点和[[闭集]]都可以用互不相交的[[开集]]分离. 任意[[度量空间]]都是正则空间 - 对任意点 $x$ 和闭集 $F$, 存在不相交的开集 $U$ 和 $V$, 使得 $x\in U$, $F\subseteq V$