Caracterización de conjuntos cerrados

¿Conocías están caracterizados los conjuntos cerrado mediante sucesiones? Aquí puedes encontrar su demostración.

Sean \((E,d)\) un espacio métrico y \(F\subseteq E\). Se tiene que \(F\) es cerrado si y solo si toda sucesión convergente de elementos de \(F\) tiene su límite en \(F\).