Question about closure of the product of two sets Let $A$ be a subset of the topological space $X$ and let $B$ be a subset of the topological space $Y$. Show that in the space $X \times Y$, $\overline{(A \times B)} = \bar{A} \times \bar{B}$.
Can someone explain the proof in detail?  The book I have kind of skims through the proof and I don't really get it. 

A set in $X\times Y$ is open iff it is the union of sets of type $U\times V$ with $U,V$ open.
Therefore, if $(x,y)\notin\overline{A\times B}$, there is $U\times V$ containing it and disjoint to $A\times B$. 
As $(U\cap A)\times (V\cap B)\subseteq (U\times V)\cap (A\times B)$, one of the sets $U\cap A$ or $V\cap B$ is empty, i.e. $x\notin \overline A$ or $y\notin \overline B$.
This shows $\overline A\times\overline B \subseteq \overline{A\times B}$.
The converse is not much different.
