Let $(X,\mathcal{T})$ be a \reftext{def:topological-space-2026a}{topological space}. We say that $X$ is Hausdorff if for every two distinct points $x,y\in X$ there exist open sets $U,V\in\mathcal{T}$ such that