外部 (位相空間論)
S は S と交わりのない最大の開集合である。
S ⊆ T ⇒ S ⊇ T
S = (S)
S が閉集合である ⇔ S = S
(S) ⊇ S