開集合系全体の集合