A topological space \(X\) is Hausdorff, or \(T_2\), if for all \(p, q \in X\) with \(p\neq q\) there exist disjoint open sets \(U, V\subseteq X\) with \(p\in U\) and \(q\in V\).
In a Hausdorff space, every sequence converges to at most one point [@Mun00].
What does it mean for a space to be Hausdorff?