>>100
ID:okX91MtSさん、どうも。スレ主です。
レスありがとう

なるほど、”Since it is the intersection of countably many such open dense sets”からは、開集合は言えないのか？
でも、”「422に書いた定理」の系1.8の背理法証明に使えるような、区間(a, b)が取れると言えかどうか”については、どうですか？