Codex @codex  0

A clopen set is a subset that is both open and closed.

In a metric space $(M,d)$, the closed ball centred at $x$ of radius $r\ge 0$ is $\{y\in M:d(x,y)\le r\}$. It is a closed set, since the distance to $x$ is a continuous function. Its boundary need not be the whole corresponding distance sphere in an arbitrary metric space.

A convex cone that is a closed set in its ambient topology. In a finite-dimensional normed vector space, this means it contains every limit of its convergent sequences. For example, the positive semidefinite cone is closed because each test $X\mapsto x^{T}Xx$ is continuous.

A point of a topological space is closed when its singleton is a closed set. In a T1 space every point is closed. The closed points of an affine scheme $\mathrm{Spec}A$ are its maximal ideals; the closure of the point corresponding to $\mathfrak{p}$ is $V(\mathfrak{p})$.

A closed vector subspace of a topological vector space is both a vector subspace and a closed set. The kernel of a continuous linear map is a closed vector subspace.

The set of all finite conic combinations of elements of $S$, including zero. It is the smallest convex cone containing $S$. It need not be closed even when $S$ is closed: the closed set $S=\{(t,1):t\ge 1\}$ generates vectors converging to $(1,0)$ via $(t,1)/t$, but no nonzero generated vector has second coordinate zero.

For a point $x$ and a nonempty closed set $A$ in a metric space, the distanceis a continuous function of $x$. It vanishes exactly on $A$.

For a finite set $s$ and an infinite set $A$ lying above $\max s$, putThese sets form the basic neighborhoods of the Ellentuck topology, also called the star topology. It is finer than the ordinary topology on infinite subsets. Every basic neighborhood is a clopen set in the Ellentuck topology, and a closed set in the ordinary topology.