:: deftheorem Def6 defines DLGraphComplement GLIB_012:def 6 :
for G being _Graph
for b₂ being non-Dmulti _Graph holds
( b₂ is DLGraphComplement of G iff ( the_Vertices_of b₂ = the_Vertices_of G & the_Edges_of b₂ misses the_Edges_of G & ( for v, w being Vertex of G holds
( ex e1 being object st e1 DJoins v,w,G iff for e2 being object holds not e2 DJoins v,w,b₂ ) ) ) );