>>16
全体でも空でもない開集合の無限直積