位相空間Xの任意の部分集合Aは必ず開集合（空集合でもよい）を含むが、そのような開集合の中で最大のものをAの内部と呼ばれる。
拓扑空间X的每个子集A都包含至少一个（可能为空）开集；最大的这种开集被叫做A的内部。