for G being _Graph holds card (Class (EdgeAdjEqRel G)) c= card (VertexAdjSymRel G)