Entre dos conjuntos A y B, conjunto formado por todos los pares ordenados (x, y), siendo x de A e y de B. Se denota por: A x B.