## What is really SF ?

Let's S be a s-algebra in X and F be a s-algebra in Y .S´F is defined as the smallest s-algebra in X ´ Y containing all measurable rectangles .
Is it true that S´F 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 .