Solution (source code)

= Solution

A space is <Hausdorff space>[Hausdorff] if any two distinct points have disjoint open neighborhoods: for $x\neq y$, there are open $U\ni x$ and $V\ni y$ with $U\cap V=\varnothing$.