theorem Th161: :: GLENUM00:161

for G being _Graph holds SubtreeRel G partially_orders G .allTrees()