>>481
レス、有難うございます。
なるほど。>>473 においては、各空間 X_i に、一様構造が入る、
という仮定が利いているわけですね。
それであれば、極大フィルターの存在定理のみで、充分かもしれません。