Multiplicação como número de pares de elementos entre conjuntos