Hausdorffの分離公理

$ \forall a,b\in X:\left(a\neq b\implies\exist U,V\in\mathcal O:\begin{dcases}a\in U\\b\in V\\ U\cap V=\varnothing\end{dcases}\right)