>>240
「有限シングルトンの列のコンパクト化」なる珍語が
「有限シングルトンの全体集合の一点コンパクト化の際、追加された一点」
を意味するのであれば、その一点が
「可算多重の{{{...}}}ω」
でなければならない理由は全くない

有限シングルトンの全体集合を
ｘ＝{{},{{}},{{{}}},…}
とした場合、まさにその集合ｘを要素としてｘに追加してもよいｗ