Produit cartésien

Soient $A$ et $B$ deux ensembles finis. Alors leur produit cartésien est fini et son cardinal est $card(A\times B)=card(A)\ card(B)$.

On peut généraliser au produit cartésien de $n$ ensembles finis :

$$card(A_{1}\times A_{2}\times \dots \times A_{n})=\prod_{i=1}^{n}card(A_{i})$$