for G being non _trivial connected _Graph holds field (VertexDomRel G) = the_Vertices_of G