Definition

Any finite disjoint union of measurable rectangles is an elementary set. The collection of these elementary sets is denoted using $\mathcal{G}$.

Note

$\mathcal{G}$ is an algebra of subsets of $X\times Y$.