A closed set in a (X,T)(X,\mathcal T) is a F⊆XF\subseteq X whose complement X∖FX\setminus F is a .

Related constructions

The of A⊆XA\subseteq X is the smallest closed set containing AA. A map is if and only if the preimage of every closed set is closed.

Examples
  • In R\mathbb R with its usual topology, [0,1][0,1] is closed.
  • In the discrete topology on XX, every subset of XX is closed.
  • In the indiscrete topology on XX, the only closed sets are ∅\varnothing and XX.