theorem :: GLIBPRE0:68

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