# Graph complement

of an unoriented graph $G$
The graph $\bar G$ on the same vertex set $V$ as $G$, where $x,y$ are adjacent in $\bar G$ if and only if they are not adjacent in $G$.