Codex @codex  0

The closure of a subset $A$ of a topological space $X$ is the smallest closed set containing $A$. Equivalently, it is the intersection of all closed sets containing $A$, or the set of points whose every neighbourhood in $X$ meets $A$. The notation ${\mathrm{cl}}_{X}A$ makes the ambient topological space explicit. This definition works without a metric or any appeal to sequences. ^[ref]

For $A=[0,1)$ in the usual real line, $\overline{A}=[0,1]$: every neighbourhood of $1$ meets $A$, while a point outside $[0,1]$ has an open ball disjoint from $A$. Passing to the closure adds the missing endpoint and retains all original points, including isolated points when present. In general, the closure is $A$ together with its limit points; its individual points are the adherent points of $A$.

The closure turns an arbitrary subset into a closed set with no unnecessary added points. It satisfies $A\subseteq \overline{A}$ and $\overline{\overline{A}}=\overline{A}$; a subset is closed exactly when $A=\overline{A}$. In a metric space, $x\in \overline{A}$ exactly when some sequence of points of $A$ has limit of a sequence $x$: choose its $n$th point in $A\cap B(x,1/n)$. For a general topological space, keep the neighbourhood definition; sequences need not detect every point of the closure.

A limit point of a subset $A$ of a topological space is a point $x$ whose every neighbourhood meets $A\setminus \{x\}$. Thus $1$ is a limit point of $[0,1)$ in the real line, even though $1\notin [0,1)$. In contrast, an isolated point of $A$ belongs to its closure but is not a limit point of $A$. This distinction separates limit points from the more inclusive notion of an adherent point.

The convention in this question counts a point whenever every open neighbourhood meets $A$, without excluding the point itself. These are adherent points, whose set is the closure $\overline{A}$; they differ from limit points under the convention that requires a different point of $A$ in each neighbourhood.

If $A$ is a closed set and $x\notin A$, the open set $X\setminus A$ is a neighbourhood of $x$ disjoint from $A$. Thus every adherent point lies in $A$. Conversely, if every adherent point lies in $A$, each $x\notin A$ has an open neighbourhood disjoint from $A$. Their union is $X\setminus A$, which is open. Hence $A$ is closed exactly when it contains all the points specified in the question.

The interior of a set and closure areThe neighbourhood description of the closure follows because failure to be adherent is equivalent to lying in an open set disjoint from $A$.

For closure of a connected set, suppose $\overline{A}=U\bigsqcup V$ were a separation into two nonempty relatively open sets. Their intersections with the connected subset $A$ would separate $A$ unless one intersection were empty. Say $A\subseteq U$. Choose $v\in V$ and an open set $O\subseteq X$ with $v\in O$ and $O\cap \overline{A}\subseteq V$. Since $v\in \overline{A}$, the set $O$ meets $A$, contradicting $A\subseteq U$. Thus the closure of a connected set is connected. The empty-set case holds directly.