If A is a (Lebesgue-)measurable subset of the unit square that has positive measure, does there exist a subset B contained in A that has a product structure (is the product of two subsets of the real line) and that has positive measure?



Structure of Measurable Subsets of the Unit Square
Consider a measurable subset $S$ of $I = [0,1]$ with positive measure. Then
$A = \{(x,y) \in I^2: x - y \in S\}$ has positive measure. Suppose $B\_1$ and $B\_2$ have positive measure. Then it is well-known that $B\_1 - B\_2 = \{ x - y:\ x \in B\_1,\ y \in B\_2 \}$ contains an interval of positive length. So if $S$ contains no such interval, 
$B\_1 \times B\_2$ can't be a subset of $A$.


