Topics: Graph Theory (definition) Let G and H be graphs. H is a proper subgraph of G if V(H)⊂V(G) or E(H)⊂E(G).