外部 (位相空間論)
位相空間論において位相空間 X の部分集合 S の外部(がいぶ、英: exterior)とは、 その補集合 S の内部 (S) のことである。これを記号 S で表す。また集合 S の閉包 S の補集合 (S) と定義してもよい。
外部 S に属する点を集合 S の外点(がいてん、英: exterior point)と呼ぶ。
外部作用素は以下の性質(公理)を満たし、集合に位相を与える方法として採用することもできる。
∅ = X
S ⊆ S
S = ((S))
(S ∪ T) =S ∩ T