Dado un número finito de conjuntos , , ..., , su producto cartesiano se define como el conjunto n-tuplas cuyo primer elemento está en , cuyo segundo elemento está en , etc.