theorem Th159: :: GLENUM00:159

for G being _Graph
for H1, H2 being Tree-like plain Subgraph of G holds
( [H1,H2] in SubtreeRel G iff H1 is Subgraph of H2 )