R^nの部分集合Mとその閉包\overline{M}に関して、Mと\overline{M}が一致する場合、Mをn次元空間R^nの閉集合、という

Mの境界点がすべて、Mに属する

例

n=1のとき、

閉区間[a,b]は閉集合

R^nの閉集合全体の集合