previous up next
Go backward to Tuple Equality
Go up to Top
Go forward to
RISC-Linz logo

Cartesian Product

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>}.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next