theorem Th160: :: GLENUM00:160

for G being _Graph holds field (SubtreeRel G) = G .allTrees()