閉集合
位相空間において、部分集合が閉であるための必要十分条件は、それが自身の閉包と一致することである。同じことだが、集合が閉となるための必要十分条件はそれがその極限点をすべて含むことである。あるいはまた、閉であるための必要十分条件はそれがその境界点をすべて含むことであるということもできる。閉集合は(クラトフスキーの)閉包作用素(英語版)の不動点である。
これは、多様体が閉であるというのとは意味が異なるので、混同してはならない。