Produto cartesiano

Sejam os conjuntos A = {1, 2, 3}  e  B = {3, 4}.

Com auxílio do diagrama de flechas ao lado, formaremos o conjunto de todos os pares ordenados em que o 1º elemento pertença ao conjunto A e o 2º pertença ao conjunto B.

Assim, obtemos o conjunto: {(1, 3), (1, 4), (2, 3), (2, 4), (3, 3), (3, 4)}

Esse conjunto é denominado produto cartesiano de A por B, sendo indicado por:

Logo:

Dados dois conjuntos A e B, não-vazios, denominamos produto cartesiano A x B o conjunto de todos os pares ordenados (x, y) onde