位相の公理って
(i)Ф(空集合)、Х∈σ
(ii){Uλ}⊂σなら∪Uλ∈σ
(iii)U1,U2∈σならU1∩U2∈σ
とかいうやつですか?