En el campo matemático de la teoría de grafos, el producto de grafos corresponde a una familia de operaciones binarias entre grafos que toma dos grafos G1 y G2, y produce el grafo H con las siguientes propiedades:
El producto cartesiano de G1 G2 es un grafo en donde dos vértices (a,c) y (b,d) son adyacentes en G1 G2 si y solo si:
El producto tensor de G1 × G2 también llamado producto directo, producto cardinal, producto de Kronecker o conjunción es un grafo en donde dos vértices (a,c) y (b,d) son adyacentes en G1 × G2 si y solo si:
Como operación entre grafos fue introducida por Alfred North Whitehead y Bertrand Russell en su libro Principia Mathematica publicado en 1912.