Spazio Topologico di Hausdorff

Uno spazio topologico si dice di Hausdorff se esiste un intorno aperto di e un intorno di tali che

e sono di Hausdorff: