Cartesian product
The Cartesian product of two sets and
is the set of all ordered pairs
such that
is an element of
and
is an element of
. More generally, the Cartesian product of an ordered family of sets
is the set
of ordered tuples
such that
is an element of
, for any positive integer
for which we have specified a set
.
Existence
See Also
This article is a stub. Help us out by expanding it.