reserve G, G1, G2 for _Graph, H for Subgraph of G;

theorem Th46:
  for V being non empty Subset of the_Vertices_of G
  for H being inducedSubgraph of G, V
  holds H | _GraphSelectors in G.allInducedSG()
proof
  let V be non empty Subset of the_Vertices_of G;
  let H be inducedSubgraph of G, V;
  H | _GraphSelectors is inducedSubgraph of G, V by GLIB_000:128, GLIB_000:101;
  hence thesis by Th45;
end;
