Gráfok izomorfiája

A $G(V(G),E(G))$ gráf izomorf a $G'(V(G'), E(G'))$ gráffal, ha van egy bijekció a $V(G)$ és $V'(G)$ között, amire teljesül, hogy $G$-ben pontosan akkor szomszédos két pont, ha $G'$-ben a nekik megfelelő pontok szomszédosak, és szomszédos pontpárok esetén ugyanannyi él fut közöttük.