Cartesian Product
A way to combine sets to get new sets.
S1 ? S2 = { (a,1), (a,2), (b,1), (b,2), (c,1), (c,2) }
A three-way cartesian product:
S2 ? S2 ? S2 = { (1,1,1), (1,1,2), (1,2,1), (1,2,2), (2,1,1), (2,1,2), (2,2,1), (2,2,2) }
This is not equivalent to (S2 ? S2 ) ? S2 or S2 ? (S2 ? S2 ).