proof $f(\overline{A})\subseteq \overline{f(A)} \Leftrightarrow f$ continuous It'd be great if someone checked the proof I did for the following problem:
$f:X\longrightarrow Y$, 
$f(\overline{A})\subseteq \overline{f(A)},\forall A\subseteq X \Leftrightarrow f$ continuous
proof:
Suppose $f(\overline{A})\subseteq \overline{f(A)}$ for any $A\subseteq X$ . 
Let $C\subseteq Y$ be closed and define $A=f^{-1}(C)$. 
$f(\overline{A})\subseteq \overline{f(A)}\subseteq\overline{C}=C$, therefore $\overline{A}\subseteq f^{-1}(C)=A$,  so $A$ is closed.
*Conversely, suppose $f$ is continuous.  
Let $p\in\overline{A}$ and let $V$ be an open neighborhood of $f(p)$. Since $f$ is continuous,  $f^{-1}(V)$ is open. On the other hand $p\in f^{-1}(V)$, but since $p\in\overline{A}$ we have that $f^{-1}(V)$ contains points of  $A$. Therefore $V$ contains points of $f(A)$. Since $V$ is an arbitrary neighborhood of $f(p)$, we have $f(p)\in \overline{f(A)}$. So finally, $f(\overline{A})\subseteq\overline{f(A)}$.
Thank you very much!
 A: The proof for the second part is fine as it stands, but you could give a proof in the same spirit as for the other direction:
Suppose $A \subseteq X$. Then $A \subseteq f^{-1}[f[A]] \subseteq f^{-1}[\overline{f[A]}]$ where the latter set is closed by continuity, so $\overline{A} \subseteq f^{-1}[\overline{f[A]}$ as well. This implies that $f[\overline{A}] \subseteq \overline{f[A]}$ directly.
A: I found this proof very awkward when I first came across it so for everyone else like me I'm going to explain everything slowly. $$$$
 "$\Rightarrow$" let $f:X->Y$ be continuous $\Rightarrow\forall F\subset Y $ such that $y$ is closed in $Y$ $f^{-1} (F)$ is closed in X. Pick any $A\in X$. It is "obvious" $f(A)= f(A) \Rightarrow f(A)\subset\overline {f(A)}$ hence $A\subset f^{-1}\left( \overline {f(A)}\right)$ $ \Rightarrow \bar A\subset \overline{ f^{-1}\left( \overline {f(A)}\right)}$. Here it is important to note that $\overline{f(A)}$ is closed in Y hence it's inverse image is closed in X. Thus$\overline{ f^{-1}\left( \overline {f(A)}\right)}= f^{-1}\left( \overline {f(A)}\right)$ hence subbing this back into the original formula we see that $\bar A \subset f^{-1}\left( \overline {f(A)}\right)$ and the result follows. $$$$ "$\Leftarrow$" Now suppose $f(\bar A)\subset \overline {f(A)}$  pick any $C_Y\subset Y$ such that $C_Y$ is closed in Y. Let $A=f^{-1}(C_Y)$, $f(\bar A)\subset \overline{f(A)}\subset \overline{C_Y}\subset C_Y$. Taking the first and last parts of that working gives: $f(\bar A) \subset C_Y$. Finally, taking inverse images gives $\bar A \subset f^{-1}(C_Y)$ using our definition at the start we see $\bar A\subset A$. This show us $A$ is closed and hence the pre-image of a closed set is closed and thus our function is continuous. 
