Prove that a topological space $(X, \tau)$ is $T_2$ if and only if the diagonal $D=\{(x,x):x \in X\}$ is closed subset of $X\times X$
$X$ is Hausdorff if and only if the diagonal of $X\times X$ is closed