I komplementet til grafen $G$ har vi de samme nodene som i $G$, og to noder er naboer hvis og bare hvis de ikke er naboer i $G$. I $G$ er ikke $C$ og $D$ naboer, $A$ og $C$ er ikke naboer, og $B$ og $D$ er ikke naboer. Komplementet til $G$ består derfor av nodene $V = \left\{ A,B,C,D \right\}$ og kantene $E = \left\{ \left\{ C,D \right\}, \left\{ A,C \right\}, \left\{ B,D \right\} \right\}$.
Definisjon: Komplement
Legg merke til sammenhengen med komplementet til mengder fra seksjon 8.1. Hvis den universelle mengden er $U = \left\{ 1,2,3,4,5 \right\}$ og $A = \left\{ 1,3,5 \right\}$, så er $\overline{A} = \left\{ 2,4 \right\}$.
Test deg selv
Gitt grafen $G$ med noder $V = \left\{ A,B,C,D \right\}$ og kanter $E = \left\{ \left\{ A,B \right\}, \left\{ B,C \right\}, \left\{ D,A \right\} \right\}$. Hvilken av disse grafene er $\overline{G}$, komplementet til $G$?