>>469
積空間の位相の入れ方は分かってるのかな?