theorem :: GLUNIR00:62

for G being _Graph
for H being LGraphComplement of G holds VertexAdjSymRel H = [:(the_Vertices_of G),(the_Vertices_of G):] \ (VertexAdjSymRel G)