for G being _Graph holds
( G is edgeless iff VertexDomRel G is empty )