A closed set in a (X,T)(X,\mathcal T) is a FXF\subseteq X whose complement XFX\setminus F is a .

Related constructions

The of AXA\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.