Assiomi di Separazione

Assiomi di separazione $T_1$ e $T_2$

Sia $(X,\tau )$ uno spazio topologico.

1. $\forall p\in X:\{p\}$ è chiuso $:=:X$ è $T_1$
2. $X$ è di Hausdorff $:=:X$ è $T_2$

Vale l’implicazione $2.⟹1.$ per questo teorema