正則開集合
位相空間 formula_1 の正則開集合とは、formula_1 の部分集合であって、その閉包の内部が自身に等しいもののことである。formula_3, formula_4, formula_5 をそれぞれ formula_1 の部分集合 formula_7 の内部、閉包、境界とすると、formula_7 が正則開集合であることは formula_9 や formula_10 が成り立つことと同値である。