theorem :: GLIBPRE0:71

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