開集合
本はありません。