Sequential characterization of closure: Let (X,d)(X,d) be a , let A⊆XA\subseteq X, and let x∈Xx\in X. Then

x∈A‾⟺there exists a sequence (an) in A with an→x,x\in \overline{A} \quad\Longleftrightarrow\quad \text{there exists a sequence }(a_n)\text{ in }A\text{ with }a_n\to x,

where A‾\overline{A} denotes the of AA.

This turns the topological notion of closure into a sequential condition in metric spaces, and it complements .