>>905
最大元は順序位相の開集合基(開区間)に含まれないから内点ではない
だからXの正則開集合は最大元を含まない
つまりXの正則開集合とX0の正則開集合は同じ