Dados dos conjuntos y , su producto cartesiano es el conjunto de todos los pares ordenados que pueden formarse con estos dos conjuntos: