theorem :: GLIBPRE0:70

for G being _Graph
for E being RepEdgeSelection of G holds card E = card (Class (EdgeAdjEqRel G))