>>362
直積位相を使うなら一般の開集合で充分