theorem :: GLIBPRE0:69

for G being _Graph
for E being RepDEdgeSelection of G holds card E = card (Class (DEdgeAdjEqRel G))