T_1空間

位相空間の性質.

定義

$$p_1,p_2{\in }^{\mathrm{uniq}}S,p2\notin {}^{\exists }U(p_1)\wedge p_1\notin {}^{\exists }U(p_2)$$

補足

$T_n$の$n$が大きいほど分離度合いが高い.