直積位相の定義は?