>>100
ところで、追加質問で悪いが

>まずリュービル数全体は
>Since it is the intersection of countably many such open dense sets
>のようですので
>開集合とは言えませんし実際開集合ではありません
>内点を持たないからです

とすると、リュービル数全体は
「422に書いた定理」中の
「S は内点を持たない閉集合で被覆できる」（非可算に緩和してだが）に当てはまりますか？