数学上，集合 S 的内部（又称开核）含有所有直观上“不在 S 的边界上”的 S 的点。S 的内部中的点称为 S 的内点。

若 S 为欧几里德空间的子集，则 x 是 S 的内点，若存在以 x 为中心的开球被包含于 S。

这个定义可以推广到度量空间X 的任意子集 S。具体地说，对具有度量 d 的度量空间 X，x 是 S 的内点，若对任意 r > 0，存在 y 属于 S，且 d(x, y) < r。

这个定义也可以推广到拓扑空间，只需要用邻域替代“开球”。 设 S 是拓扑空间 X 的子集，则 x 是 S 的内点，若存在 x 邻域被包含于 S。注意，这个定义并不要求邻域是开的。

等价地，S的内部是S补集的闭包的补集。内部的概念在很多情况下和闭包的概念对偶。