for G being non-Dmulti _Graph holds G .size() = card (VertexDomRel G)