Notation. [00E0]

For finite sets and , we write for finte set that is the cartesian product of and as constructed here.

By abuse of notation we will sometimes just write .