= Closed diagonal theorem {wiki} A space is Hausdorff exactly when its diagonal is closed in its square.
Back to article page
