Cartesian product
Symbolically, suppose that the Cartesian product