:: deftheorem defines .allInducedSG() GLENUM00:def 7 :
for G being _Graph holds G .allInducedSG() = { the plain inducedSubgraph of G,V where V is non empty Subset of (the_Vertices_of G) : verum } ;