Closure of a Set

Statement

Definition. (@Bou95, Definition 10) Let $(X,\tau )$ be a topological space, and $S\subseteq X$. The closure of $S$, denoted as $\mathrm{cl}(S)$, is the set of all elements $x\in X$ such that every neighborhood of $x$ meets $S$.