theorem :: GLIB_000:100

for G being _Graph holds G is inducedSubgraph of G,(the_Vertices_of G)