for G, H being SimpleGraph st G c= H holds
G c= H SubgraphInducedBy (Vertices G)