The Cartesian product of two sets and (also called the product set,
set direct product, or cross product) is the set of all ordered pairs where and . It is denoted , and is called the Cartesian product since it
originated in Descartes' formulation of analytic
geometry. In the Cartesian view, points in the plane
are specified by their vertical and horizontal coordinates,
with points on a line being specified
by just one coordinate. The main examples of direct
products are Euclidean three-space (, where are the real numbers), and
the plane().
The Cartesian product can be computed in the Wolfram Language using Tuples[{list1,
list2}], where list1 and list2 represent the two sets.
The term Cartesian product is also used for the graph
Cartesian product (Vizing 1963, Clark and Suen 2000).