Definición de "producto cartesiano"

Dados el conjunto A formado por los elementos a1, a2,... y el conjunto B formado por los elementos bl, b2,..., el producto cartesiano A × B es el conjunto formado por las parejas etcétera.