Go backward to Tuple Equality Go up to Top Go forward to |
Definition: Cartesian Product of S0, ..., Sn-1.
S0 x ... x Sn-1 := {<x0, ..., xn-1>: x0 in S0 /\ ... /\ xn-1 in Sn-1}.
Example:
{a, b} x {0, 1, 2} = {<a, 0>, <a, 1>, <a, 2>, <b, 0>, <b, 1>, <b, 2>}.