Dados dos conjuntos "A" y "B", el conjunto producto ó producto cartesiano de "A" y "B", denotado como formula_150, se define como el conjunto de todos los pares ordenados de elementos de "A" y "B" respectivamente, es decir: