>>313
分離公理ならT0もあるよ
T0って変なところで需要があるんだよね
代数幾何で使うZariski位相はT0
理論計算機科学でもT0位相空間を重要なところで使われてる