Definition:Closed Set

Definition
Let $T = \left({X, \tau}\right)$ be a topological space.

Let $H \subseteq X$.

Then $H$ is closed (in $T\,$) iff its complement $X \setminus H$ is open in $T$.

That is, $H$ is closed iff $\left({X \setminus H}\right) \in \tau$.

That is, iff $X \setminus H$ is an element of the topology of $T$.

Closed Point
The concept of a closed set can be sharpened to apply to individual points, as follows:

Metric Space
In the context of metric spaces, the same definition applies:

Also see

 * Closed Set contains All its Limit Points