Let X be a topological space. Show that X is $ T_2 $ if, and only if, $ \alpha $ = {(x, x) $ \in $ X $\times$ X : x $ \in $ X} is closed at ...
$X$ is Hausdorff if and only if the diagonal of $X\times X$ is closed