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

Advertisements