数学において集合 "S" の内部（ないぶ、）あるいは開核（かいかく、）は、直観的には "S" の「縁にある点を除く」 "S" の点全てからなる。"S" の内部に属する点は "S" の内点（ないてん、）であるという。また、集合の外部（がいぶ、）は、その集合の補集合の内部をいい、その集合にもその集合の境界にも含まれない点の全体からなる。集合の内部という概念は位相的概念であって、任意の集合に対して定義されるものではないが、その集合がある位相空間の部分集合となっているならば定義される。内部はさまざまな意味で閉包の概念の双対概念であり、とくに圏論的な意味での双対になっている。"S" がユークリッド空間の部分集合ならば、点 "x" が "S" の内点であるとは、"x" を中心とする開球で "S" に含まれるものが存在するときに言う。この定義は一般に "S" がある距離空間 "X" の部分集合であるときにそのまま通用する。きちんと述べれば、"X" が距離 "d" を持つ距離空間であるとき、点 "x" が "X" の部分集合 "S" の内点であるとは定数 "r" > 0 が存在して、"X" の点 "y" が "d"("x

出典:wikipedia