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 .