T_0空間

位相空間の性質.

定義

$p_1,p_2{\in }^{\mathrm{uniq}}S$,近傍$U$は$p1,p2$のどちらかを含んでいる.