for G being _Graph
for H being Subgraph of G holds VertexDomRel H c= VertexDomRel G