I'm just starting to learn some basic topology, and I've mostly encountered definitions. For instance, I read that for a topological space $X$, for any $E\subseteq X$, define its closure $\overline{E}$ as the set of points $p\in X$ such that each neighborhood $N$ of $p$ has a nonempty intersection with $E$.
I wanted to verify that this is indeed a closure operation, and here's what I have:
(1) Suppose $p\in E$, then for any $N$, $p\in N$, so $N\cap E\neq\emptyset$, so $p\in\overline{E}$, and thus $E\subseteq\overline{E}$.
(2) Suppose $p\in\overline{E\cup F}$. Then for any $N$, $N\cap(E\cup F)\neq\emptyset$, so $(N\cap E)\cup(N\cap F)\neq\emptyset$, and thus either $N\cap E\neq\emptyset$ or $N\cap F\neq\emptyset$, so $p\in\overline{E}$ or $p\in\overline{F}$, and thus $\overline{E\cup F}\subseteq\overline{E}\cup\overline{F}$.
(3) For any $p\in X$, the intersection of any $N$ and $\emptyset$ is empty, so there are no points such that every neighborhood has nonempty intersection with $\emptyset$. Hence $\overline{\emptyset}=\emptyset$.
(4) I'm stuck showing that $\overline{\overline{E}}=\overline{E}$. From (1), I know that $\overline{E}\subseteq\overline{\overline{E}}$, but I can't show the other containment. I took $p\in\overline{\overline{E}}$, and so every $N\cap\overline{E}\neq\emptyset$. I want to show $p\in N\cap\overline{E}$, and I think this would be easy if $X$ contains isolated points. But then I found out there are such things as perfect sets or dense-in-itself sets, so that can't work. Is there some trick to show this containment?
Thanks, I know this is probably very simple, but I'm going a little mad staring at it.