開基の元だな
ところで直積位相を開基で定義してない本ってどれ？