位相空間における「開集合系・開集合」の定義

 位相空間における開集合系・開集合　のレイアウト更新。