theorem Th40: :: GLENUM00:40

for G being _Graph holds field (SubgraphRel G) = G .allSG()