Dado un grafo "G:=(V,E)", con "V" su conjunto de vértices y "E" su conjunto de aristas o arcos, el grafo complemento de "G", "G':=(V',E')", está dado por: