Se sono   n   insiemi, il prodotto cartesiano


e' il seguente insieme:



indica il prodotto cartesiano di A per se stesso n volte.
(sono le n-uple ordinate di elementi di A).