Proposição. Seja $(X, \tau)$ um espaço topológico e $Y \subset X$. Sejam $x \in X$ e $(y_n)_{n \in \mathbb{N}}$ uma sequência de pontos de $Y$. Se $y_n \to x$, então $x \in \overline{Y}$.

Ideia: