theorem Th56: :: GLENUM00:56

for G being _Graph holds
( ( G is loopless implies G .allInducedSG() is loopless ) & ( G .allInducedSG() is loopless implies G is loopless ) & ( G is non-multi implies G .allInducedSG() is non-multi ) & ( G .allInducedSG() is non-multi implies G is non-multi ) & ( G is non-Dmulti implies G .allInducedSG() is non-Dmulti ) & ( G .allInducedSG() is non-Dmulti implies G is non-Dmulti ) & ( G is simple implies G .allInducedSG() is simple ) & ( G .allInducedSG() is simple implies G is simple ) & ( G is Dsimple implies G .allInducedSG() is Dsimple ) & ( G .allInducedSG() is Dsimple implies G is Dsimple ) & ( G is acyclic implies G .allInducedSG() is acyclic ) & ( G .allInducedSG() is acyclic implies G is acyclic ) & ( G is edgeless implies G .allInducedSG() is edgeless ) & ( G .allInducedSG() is edgeless implies G is edgeless ) & ( G is chordal implies G .allInducedSG() is chordal ) & ( G .allInducedSG() is chordal implies G is chordal ) & ( G is loopfull implies G .allInducedSG() is loopfull ) & ( G .allInducedSG() is loopfull implies G is loopfull ) )