>>470
じゃあ、"U_X×U_Y" と "U_X×U_Yが生成する位相" は
集合族としてどっちが大きい(小さくない)?