theorem Th41: :: GLENUM00:41

for G being _Graph holds SubgraphRel G partially_orders G .allSG()