Let's S be a s-algebra in X and F be a s-algebra in Y .SF is defined as the smallest s-algebra in X Y containing all measurable rectangles .
Is it true that SF is equal to the set of all countable unions of measurable rectangles? If so could you prove it, if not what is a contradictory example .