So, here's the problem:
Let A and B be compact subspaces of X and Y, respectively. Let N be an open set in X x Y containing A x B. One needs to show that there exist open sets U in X and V in Y such that A x B \subseteq U x V \subseteq N.
Here's my try:
First of all, since N is open, it can...