T1

Axioma de separación $T_1$

Un espacio topológico $(X,\mathcal{T})$ se dice que es $T_1$ si para todo par de puntos distintos $x,y\in X$, existen un entorno $U$ de $x$ con $y\notin U$ y un entorno $V$ de $y$ con $x\notin V$.