El producto cartesiano de dos conjuntos es un conjunto formado por todas las parejas posibles de elementos de los dos conjuntos, respetando el orden: el primer elemento es del primer conjunto y el segundo elemento lo es del segundo conjunto.

Ejemplos: El plano es un producto cartesiano. En una clase se puede establecer el producto cartesiano de ella por ella misma.