Аксиома отделимости T1 (первая аксиома отделимости)
формулировка:
Для двух любых различных точек $\Large x, y$ пространства $\Large T$ существует окрестность$\Large O_x$ точки $\Large x$, не содержащая точку $\Large y$, и окрестность $\Large O_y$ точки $\Large y$, не содержищая точки $\Large x$.
ПРИМЕЧАНИЯ: