Si un conjunto A tiene n elementos y otro conjunto B tiene m elementos, el conjunto $(A \times B)$ tiene $n \times m $ elementos.
Este principio es fácil de ver, si dejo uno de los elementos de uno de los conjuntos fijo tengo m elementos distintos, si recorro este elemento fijo, por cada uno de ellos puedo alterar el otro m veces, el resultado es el producto.
Este principio se puede extender al número de conjuntos que se quiera de manera que el número de elementos será el producto sus cardinales.
Añadir también que los conjuntos pueden ser repetidos, $ A \times A \times... A$ por ejemplo