Grafunion är en operation på grafer som resulterar i en graf vars vertex- och kantuppsättningar är sammansättningar av spets- och kantuppsättningarna för de ursprungliga graferna. Med andra ord inkluderar den resulterande grafen alla kanter och hörn som finns i de ursprungliga graferna [1] .
Operationen med att kombinera grafer, såväl som en liknande operation för uppsättningar, betecknas vanligtvis med symbolen :
Alltså om
sedan
där är uppsättningen av hörn, är uppsättningen av kanter på grafen.