Na matemática, dados dois conjuntos X e Y, o produto cartesiano (ou produto direto) dos dois conjuntos (escrito como X × Y) é o conjunto de todos os pares ordenados cujo primeiro termo pertence a X e o segundo, a Y.