位相空間 $X$ の部分集合 $A$ について、$A$ の内部 $A^\circ$ とは$A$ に含まれる開集合のなかで最大のもののことである。
位相空間 $X$ の部分集合 $A$ について、$A$ の内部 $A^\circ$ とは、$A$ に含まれる開集合のなかで最大のもののことである。このようなものは存在する。実際、$A$ に含まれるすべての開集合の合併をとると、これは $A$ の内部となっている。