Em teoria de conjuntos, um dos assuntos que podemos abordar é o Produto Cartesiano de dois Conjuntos. Nela falamos de par ordenado, axioma do par e o produto cartesiano. Par ordenado Antes de abordarmos o assunto produto cartesiano de dois conjuntos, temos a necessidade de falarmos sobre pares ordenados. Sejam $A$ e $B$ dois conjuntos arbitrários. Para $a \in A$ e $b \in B,$ e ao usarmos o axioma da especificação podemos construir o conjunto