Let and be two measurable spaces.
Let , where .
For , let . If we now let be a pairwise disjoint sequence in , then the are also pairwise disjoint. <- HERE IS MY QUESTION.
How can this be true? For example, if and , then and are disjoint, because no ordered pair is in both and . But, and ?
Oops, I was wrong first time, and the book is right. The fact that x appears in the notation C(x) implies that x is meant to be fixed. So the sets are the slices of the sets obtained by fixing the first coordinate x and letting the y coordinate vary.