Solution (source code)

= Solution

A space is <Hausdorff> if distinct points have disjoint open neighbourhoods. In symbols, for $x\ne y$ there are open $U\ni x$ and $V\ni y$ with $U\cap V=\varnothing$.