Let , and let , be elementary sets. Show that is elementary , and .
Let partitions of and into finite sets of disjoint boxes be , and . Then
Consider and , then
It is clear that and as and are both finite so therefore is . Furthermore
As and are partitioned into disjoint boxes the new boxes in the Cartesian product are also disjoint. This gives