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