First of all, if you start with two measurable sets X,Y
Ans1.[X and Y are raw sets. (X,A) and (X,B) are sigma finite measurable space]
and two sigma algebras A, B respectively, and "define" S:={E in XxY; E=finite union of AixBi pairwise disjoint,Ai in A Bi in B}, this set is not well...