Definition:Complement (Graph Theory)/Simple Graph

Definition
Let $G = \struct {V, E}$ be a simple graph.

The complement of $G$ is the simple graph $\overline G = \struct {V, \overline E}$ which consists of:
 * The same vertex set $V$ of $G$
 * The set $\overline E$ defined such that $\set {u, v} \in \overline E \iff \set {u, v} \notin E$, where $u$ and $v$ are distinct.