Akkkor tehát egy G gráf egy (V,E) párral reprezentálható és a 'G teljes' állítás az végülis a '(V,E) teljes' állítás, ami így néz ki:

Minden x,y eleme V-re {x,y} eleme E

(Ahol {,} -vel jelöltem a halmazkonstruálást.)