If $E \In \R^n, F \In \R^k$ are measurable, then $E \times F$ is measurable, with $m(E) \times m(F) = m(E \times F)$.
Let's first treat some special case. If $m(E)=0$, and $m(F) = \infty$, what is $m(E \times F)$? You have seen a special case as $m ( \{ 0 \} \times \R)=0$ in $\R^2$. The general proof is similar, for each $\epsilon$, and each $n \in \N$, we can find a countable collection of boxes that covers $E \times B(0, n)$ with total volume less than $\epsilon/2^n$. Then, we let $n=1,2,\cdots$, and put together these collection of boxes into a bigger collection (still countable), that gives a cover of $E \times \R^k$ with total area less than $\epsilon$.
Next, let's prove some nice cases, that $m(E \times F) = m(E) m(F)$.
Now, how to prove that $ E \times F$ is measurable? We could use Caratheodory criterion, or, we could use Lebesgue criterion, by constructing outer and inner approximations. Again, we may assume $E$ is bounded and $F$ is bounded (otherwise, they can be written as disjoint union of bounded measurable pieces, and we can deal with them pieces by pieces, and do countable union in the end). We may assume $E \In B_1, F \In B_2$, for $B_i$ some open boxes.
Let $H_E$ be a $G_\delta$-set and $K_E$ be $F_\delta$, such that $H_E \supset E \supset K_E$, and $m(H_E \RM K_E) = 0$. Define $H_F, K_F$ for $F$ similarly. Then, by downward monotone continuity of measure, we have $$ m(H_E \times H_F) = \lim m(H_{E,n} \times H_{F,n}) = \lim m(H_{E,n}) \times m(H_{F,n}) = m(H_E) \times m(H_F) = m(E) \times m(F) $$ where $H_{E,n}$ are open sets, with $H_{E,n} \supset H_{E,n+1}$, and $H_E = \cap_n H_{E,n}$ for all $n$.
Also, we have $$ H_E \times H_F \RM (K_E \times K_F) \subset (H_E \times K_E) \times B_2 \cup B_1 \times (H_F \times K_F) $$ where the last term is a null set, hence $m(K_E \times K_F) = m(H_E \times H_F) = m(E) \times m(F)$.
If $E \In \R^n \times \R^k$ is measurable, then $E$ is a zero set if and only if almost( = up to a zero set) every slice $E_x$, ($x \in \R^n$) is measure zero.
Pf: as usual, we may assume $n=k=1$ and $E$ is contained in the unit square. Suppose $E$ is measurable, and $m(E_x)=0$ for almost all $x \in I$, then we want to show $m(E)=0$. Let $Z \In I$ be the set of $x$ where $m(E_x) \neq 0$. Then, $m(Z)=0$. Since $Z \times I$ is measureable and has measure 0, we may replace $E$ by $E \RM (Z \times I)$, and assume for all $x \in I$, $m(E_x)=0$.
By inner regularity, we may replace $E$ by a closed set $K$. Since E is bounded, hence $K$ is compact. Now, we try to cover $K$ by open boxes of total area less than $\epsilon$. Let $K_1= \pi (K)$ the projection to the first factor, than $K_1$ is compact.