for G being _Graph holds card (VertexDomRel G) = card (Class (DEdgeAdjEqRel G))