Grafskärning är en operation på grafer som resulterar i en graf vars vertex- och kantuppsättningar är skärningspunkterna för de ursprungliga grafernas spets- och kantuppsättningar. Med andra ord inkluderar den resulterande grafen endast de kanter och de hörn som finns i alla ursprungliga grafer [1] .
Operationen för skärningspunkten av 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.