Průnik grafu je operace s grafy , jejímž výsledkem je graf, jehož sady vrcholů a hran jsou průsečíky sad vrcholů a hran původních grafů. Jinými slovy, výsledný graf zahrnuje pouze ty hrany a ty vrcholy, které jsou přítomny ve všech původních grafech [1] .
Operace průniku grafů, stejně jako podobná operace pro množiny, se obvykle označuje symbolem :
Pokud tedy
pak
kde je množina vrcholů, je množina hran grafu.