閉集合（へいしゅうごう）は、その補集合が開集合となる集合のこと。距離空間の場合はその部分集合の元からなる任意の収束点列の極限がその部分集合の元であることと一致するので、それを定義としてもよい。例えば、数直線上で不等式 0 ≤ "x" ≤ 1 によって定まる集合は閉区間と呼ばれるが、これは閉集合である。なぜならば、その補集合である "x" < 0 または "x" > 1 を満たす区間が開集合となるからである。不等式を 0 < "x" < 1 としたものや 0 ≤ "x" < 1 としたものは、閉集合ではない。また、連続関数 formula_1 を使って、formula_2 と表される集合は平面の閉集合である。円周も平面の閉集合である。次の性質を満たす集合 "X" の部分集合の族 "F" があると、 "F" の元が閉集合であるような位相が "X" に定まる。このように位相を定義するときは、開集合を閉集合の補集合として定義する。

出典:wikipedia