>>71
>無限重シングルトン: S∞:= lim n→∞ Sn とする

この極限はどういう定義ですか?